|
|
PathFinder
Java PathFinder (JPF) 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, systematically exploring all potential execution paths of a program to find violations of properties like deadlocks or unhandled exceptions. Unlike traditional debuggers, JPF reports the entire execution path that leads to a defect. JPF is especially well-suited to finding hard-to-test concurrency defects in multithreaded program
|
|
| |
| Category |
Code Analyzers |
| License |
Other |
| HomePage |
http://javapathfinder.sourceforge.net/ |
|
|
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the United States
and other countries. This site is independent of Sun Microsystems, Inc.
