An R&D Centre at IIT Bombay

 Tools

  • Cospan
  • The NCSU Concurrency Workbench [cwb]
  • Esterel Studio [Homepage]
  • FC2 Tools [fc2tools]
  • HyTech [hytech]
  • Isabelle [isabelle]
  • JACK [jack]
  • Jester Translator - Reactive Extension of Java [jester]
  • Kronos [kronos]
  • Larch Prover [lp]
  • Mocha [mocha]
  • Murphi [murphi]
  • Prototype Verification System [pvs]
  • Raise Tools [raise]
  • Rewrite Rule Laboratory [rrl]
  • Spin [spin]
  • Stanford Temporal Prover [step]
  • [tempEst] The TempEst Program Verification Toolset
  • Verification Interacting with Synthesis (VIS) [vis]
  • Xeve [xeve]
  • Z Type Checker [ztc]


CASE Tools