Java Pathfinder (JPF) core system(ARC-17487-1)
data and image processing
Java Pathfinder (JPF) core system
(ARC-17487-1)
Overview
Java Pathfinder core system (jpf-core), is a model checker for Java bytecode. The technology takes a binary Java program and executes it in a user configurable way to detect defects such as deadlocks and unhandled exceptions, providing significantly higher confidence in correct program behavior than conventional testing.
Software Details
Category
Data and Image Processing
Reference Number
ARC-17487-1
Release Type
Open Source
Operating System