Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Files
artho_java_2019.pdf(223.39 KB)
Date
2019
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
This paper gives a brief overview of Java Pathfinder, or jpf-core. We describe the architecture of JPF, its strengths, and how it was set up for SV-COMP 2019.
Description
CITATION: Artho, C. & Visser, W. 2019. Java Pathfinder at SV-COMP 2019 (Competition Contribution). Lecture Notes in Computer Science, 11429:224-228, doi:10.1007/978-3-030-17502-3_18.
The original publication is available at https://link.springer.com
Keywords
Java pathfinder (JPF), Computer software -- Verification, Java (Computer program language), Computer software -- Verification
Citation
Artho, C. & Visser, W. 2019. Java Pathfinder at SV-COMP 2019 (Competition Contribution). Lecture Notes in Computer Science, 11429:224-228, doi:10.1007/978-3-030-17502-3_18
URI
http://hdl.handle.net/10019.1/123514
Collections
Research Articles (Computer Science)