Tau is a software development tool built for creating reliable enterprise software to mission-critical industries such as industrial control systems, aerospace, automotive, industrial and medical machinery, banking, and semiconductors.
At its core Tau is an advanced formal software development tool that uses Software as Sentences™ methodology, which has been developed in-house. This method allows you to describe your desired software in sentences and the description (or specifications) work as correct and operational software.
CertiK conducts security assessments on the provided source code exclusively. Conduct your own due diligence before deciding to use any info listed at this page.