Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker.
Download
javapathfinder - jpf-source-1.0a
Last Update: Oct 06 2005
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved