Paper Info
Title
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
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.
Year
DOI
Venue
2019
10.1007/978-3-030-17502-3_18
tools and algorithms for construction and analysis of systems
Field
DocType
Citations 
Java pathfinder,Architecture,Programming language,Software model checking,Computer science,Theoretical computer science
Conference
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Cyrille Artho158844.46
Willem Visser23133177.28