Predicate Abstraction in Java Pathfinder

Authors: Jakub Daniel, Pavel Parízek, Corina S. Păsăreanu

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Verification Keywords Java Pathfinder

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9960

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9960
http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf