JAVA Model Checking
Presented as part of the
2001 HCSS conference
.
License:
Creative Commons 2.5
Willem Visser
Klaus Havelund
Guillaume Brat
SeungJoon Park
Flavio Lerda
Other available formats:
JAVA Model Checking
Switch to normal viewer
Switch to experimental viewer
