Difference between revisions of "Software"
From Numerical Transition Systems
Radu iosif (Talk | contribs) (Created page with "* 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 co...") |
Radu iosif (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | * FLATA a tool for the analysis of counter automata | + | * [[Flata|FLATA]] a tool for the analysis of counter automata |
* ARTMC a tool for the verification of programs with complex pointer structures | * ARTMC a tool for the verification of programs with complex pointer structures | ||
* L2CA converts programs with lists into counter automata | * L2CA converts programs with lists into counter automata | ||
Revision as of 17:47, 28 April 2013
- 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
- YAV yet another verifier for Java(TM) concurrent programs
