Tool Name:

Tool Web Page URL:

Please classify the tool:

• What input languages does it support? (check all that apply)
  Java   C++   VHDL   Verilog   Promela
  Tool's own language     Language style (optional):

• What core reasoning techniques does it support? (check all that apply)
  Model Checking   Proof Checking   Heuristic Theorem Proving
  Satisfiability Checking
  Derivational Reasoning/Correctness Preserving Transformations
  Other  

• What additional reasoning features does it directly support? (check all that apply)
  Abstraction   Symmetry
  Partial Orders   Compositional Reasoning
  Other  

• On which platforms does it run? (check all that apply)
  Sparc/Solaris   Macintosh   DEC Alpha
  Linux Windows (all varieties) Windows 98 Windows 2K Windows XP Windows NT
  Other  

• What is its availability?
  Freely Available, including source Freely Available, binaries only
  Free to Universities Commercial
  Download URL (if different from tool URL)

Course Instructor:

Course Web Page URL:

Additional comments to include with tool listing:

Email address of submitter (required - please double check before submitting):