Tools:: RAISE tools
Website
RAISE tools
Input Languanges:
  • Tool's own language (specification and design)

Supported Techniques:
  • type checking; translation

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



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