56
Growth Score
pts
Heat Score
-6 pts
Company Performance Metrics
Score
Trend
AI Content may contain mistakes and is not legal, financial or investment advice.Learn more.
Growth Score - The measure of growth based on company activity, operational metrics, and investments
Growth Trend - The change in the growth score over the given time period
Heat Score - The measure of the market interest, media activity, and Crunchbase profile activity
Heat Trend - The change in the heat score over the given time period
Recent Events
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
See more interactive data and historical milestones on desktop for the best experience
331388
Software development tool and language. Describe the software you want & execute descriptions as perfectly running, correct software.
- Ohad Asor: CTO & Founder
- Fola Adejumo: Chief Executive Officer
About the Company
Tau revolutionizes industrial software development by allowing users to describe their desired software in logical sentences, which are directly executable as correct-by-construction, working software. As the description of the software is software, this eliminates traditional testing cycles. Tau enables entire system specification: the full
behavior of a wider scope and higher complexity of software are expressible compared to common formal languages, and directly executable in Tau itself.
