javapathfinder

JPF es un framework extensible de análisis de software para bytecode de Java. jpf-core es la base de todos los proyectos JPF; siempre es necesario instalarlo. Contiene la infraestructura básica de VM y verificación de modelos, y puede usarse para detectar defectos de concurrencia como interbloqueos y excepciones no controladas como NullPointerExceptions y AssertionErrors.