facebook

IN DEVELOPMENT

Tau Language

Tau Language enables you to specify software in simple logical sentences, describe real-world knowledge that can be reasoned over and supports powerful AI reasoning and software safety features.

READ RESEARCH PAPER
REQUEST EARLY ACCESS

Tau Language is a competitor-beating decidable temporal logic for software specification & logical reasoning, solving vital software development and AI issues for a vast range of industries.

Get Started
Research & Documentation

Software is correct-by-construction according to requirements, as specifications are directly executable in Tau’s runtime. As your software requirements change, your software is guaranteed to match, with proof of correctness.

USE TAU LANGUAGE
ACCESS THE RESEARCH
Features
One Language for
Specification & Reasoning
Specify your next Project in Tau Language.
Tau Language’s powerful declarative nature enables continuous addition of requirements that always result in the exact software, guaranteeing correct working software for any specification.

Executable Specifications

Software is correct-by-construction according to requirements, as specifications are directly executable in Tau’s runtime. As your software requirements change, your software is guaranteed to match, with proof of correctness.

Full Software Formal Verification

Tau Language enables you to build your entire software in a formal manner. No manual verification required. Reduced human oversights and no traditional testing, reducing cost and effort in bug fixing. This is a large difference compared to other formal languages which are only strong enough the specify parts of sytems, not entire systems.

Perfect for Complex Software Development Specify Systems Completely

Ideal for Complex Systems

Tau Language accommodates infinite data types and provides clear abstractions for managing complexity.

Infinite Datawords

Harness temporal logic for specifying, reasoning, and analyzing system behavior over time – ideal for models with infinite data sequences.

Advanced Logical AI Reasoning Reason More Than Ever Before

All specifications, including real-world knowledge, human communication, scientific data, and information, can be reasoned over and executed as system functions.

Refer to Sentences in the Same Language

Embed powerful AI and software security conditions into your software, with your software being able to reason over its next versions and detect and reject undesired behavior across updates. Inputs, outputs, and memory registers in Tau Language can hold specifications themselves and have statements about statements.

Time-Compatible Semantics

Time compatibility ensures consistent and logical element interactions across different times, preserving temporal logic integrity.

Supporting Languages
Enabling Software as Sentences™

Tau Language enables you capture real-life knowledge and complex domains enhancing usability across knowledge-based applications, with seamless support of description logics and KRR languages such as controlled natural languages.

Interoperability

Add a level of interoperability between languages and extend multiple languages at once. Easily enhance the usability, communication and collaboration in your development process.

Language Extension

Embed and extend the most powerful decidable knowledge representation languages, logics, and Boolean algebras and enhance the usability of Tau Language the way you need it.

Tau Compared to Other Formal Languages

Tau Language simply outhandles across crucial areas in software development compared other decidable formal languages, especially in expressiveness.

Tau Language

Formal Languages

Assessed for performance across a wide, complex software spectrum; narrow or trivial scopes excluded.
Assessed for ease of implementation and coverage of the entire development process.
Deep Dive

Explore Tau Language on Git Hub

Read Research by CTO Ohad Asor

Watch Dev Update by Lucca Tiemens

Limitations

1. Tau is decidable, therefore it cannot express all possible programs. However, Tau has advanced expressiveness compared to common specification languages while maintaining its decidability, and it will be a challenge to find real-world software that cannot be specified.

2. Formal Languages & Controlled Natural Languages (CNLs) are not simple to use. Tau uniquely combines formal specification and knowledge, while making it simpler to use by applying Natural Language Processing techniques to the specification process.

3. Logical reasoning typically requires high computational resources, however Tau uses novel and better algorithms alongwith extremely strong engineering expertise.

4. Tau is not a universal solution. There are cases where it may not be the optimal choice for a software project. However, virtually any software project will finds parts that are suitable for Tau use.