Tools:: SteP (Stanford Temporal Prover)
Website
SteP (Stanford Temporal Prover)
download
Input Languanges:
  • Tool's own language (fair transition systems)

Supported Techniques:
  • Model Checking, Deductive Verification, Compositional Reasoning, Abstraction, Hybrid Systems, First-order logic

Platforms:
  • Linux, Alpha, Sparc/Solaris, SGI

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