Contact us
Copyright © 2024 – IDNI. All rights reserved.
Tau Language is able to embed and extend the most powerful decidable knowledge representation languages, logics, and Boolean algebras to describe states in the specification.
The Tau team have recently filed their patents protecting Tau Language, and we’re pleased to announce our disclosure of the research behind our languages NSO, and GSSOTC, decidable conservative extensions to the first order theory of Boolean Algebras, and the related algorithms. The first solves a long-lasting problem of finding a logic that is able to consistently refer to its own sentences, the second is a novel temporal logic.
Unlike other declarative programming languages, your specification doesn’t need to pin down a unique program. Instead, many programs can meet the requirements.
Tau Language unifies data and specifications, offering a decidable temporal logic with infinite datawords, theory inclusion, and closed Boolean combinations.
Tau Language excels in specifying complex systems and real-world scenarios by effortlessly handling infinite sequences of inputs, outputs, and states.
Tau Language is a temporal logic for specifying, reasoning, and analyzing system behavior over time, ideal for models with infinite data sequences.
Tau Language’s time compatibility ensures consistent and logical element interactions across different times, preserving temporal logic integrity.
Tau Language seamlessly supports description logics, enhancing its usability across knowledge-based applications.
Correct-by-construction software,
improved testing efficiency & coverage
No proofs, no manual verification,
reduced human oversights
Improved capture of real-life descriptions and complex domains with the capability to incorporate and extend other formal and KRR-based languages.
Simplified and more precise compliance assessment with formalized standards
Accommodates infinite data types, provides clear abstractions for managing complexity
Identification and handling of edge cases that may otherwise be overlooked
Contact us
Copyright © 2024 – IDNI. All rights reserved.