facebook
Tau Products

Tau products improve your team’s software development experience.

Easily automate your software development process, and create high-quality applications that exceed industry standards.

Tau

Correct by construction software development tool utilising novel and advanced executable formal specification.

Tau Language

Language for software specification with quantification over sentences, a temporal dimension and description logics.

Tau Parsing Library

Industry-level C++ parsing library that captures all ambiguities efficiently and automatically.

TML

Variant of Datalog with compressed data storage, strong optimizations, and extensions.

Interested in Tau?

Interested in what Tau can do for your business? Talk to our team.

SALES