Tools:: Triveni
Website
Triveni
download
Input Languanges:
  • Tool's own language (Java class library)

Supported Techniques:
  • Compositional Reasoning, Abstraction, Assertions on event sequences via temporal logic

Platforms:
  • Windows NT, Windows 95, Linux, Alpha, Macintosh, Sparc/Solaris

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004