Software
From Numerical Transition Systems
Revision as of 16:50, 28 April 2013 by Radu iosif (Talk | contribs)
- FLATA a tool for the analysis of counter automata
- ARTMC a tool for the verification of programs with complex pointer structures
- L2CA converts programs with lists into counter automata
- dSPIN an extension of the model checker SPIN
- BANDERA project home page
- JCAT a deadlock detection tool for Java(TM) multithreading programs
- JSUIF a program internal representation support library entirely written in Java
