Company profile
Tau company profile
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.
Business identity
- Website
- http://www.tau.net
- Contact email
- С[email protected]
- Operating status
- Active
- Company type
- For Profit
- Employee range
- 00011-00050 employees
- Revenue range
- $1K+
- Founded
- 2015-02-01
Headquarters
- Headquarters
- Kinzan, Chungcheongnam-do, South Korea
- Postal code
- FL-9495
- Country code
- KR
- Continent
- Asia