Links
Related Projects
PROPEL
BANDERA
BOGOR
SLAM
BLAST
SPIN v4
dSPIN
VeriSoft
CBMC
ZING
Libraries
BCEL - the bytecode engineering library
Xerces - XML parsing
fast-MD5 libary from Timothy W. Macinta
Ant - the Java build system
JUnit - unit test framework
Collaborators
Matt Dwyer
John Hatcliff
Scott Stoller
Gerard Holzmann
Robby
Radu Iosif
Gary Leavens
Terence Parr
Tools
JML - the Java Modeling Language
tp://secure.ucd.ie/products/opensource/ESCJava2/">ESC/Java 2 - the Extended Static Checker for Java
Eclipse - the generic multi-platform IDE
LTSA - the Labeled State Transition System Analyzer
YourKit - the multi-platform Java profiler