Predicate Abstraction in Java Pathfinder

Συγγραφείς: Jakub Daniel, Pavel Parízek, Corina S. Păsăreanu

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Verification Keywords Java Pathfinder

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9960
http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf