Java Pathfinder at SV-COMP 2019 (Competition Contribution)
| dc.contributor.author | Artho, Cyrille | en_ZA |
| dc.contributor.author | Visser, Willem | en_ZA |
| dc.date.accessioned | 2021-12-01T14:04:53Z | |
| dc.date.available | 2021-12-01T14:04:53Z | |
| dc.date.issued | 2019 | |
| dc.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. | |
| dc.description | The original publication is available at https://link.springer.com | |
| dc.description.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. | en_ZA |
| dc.description.uri | https://link.springer.com/chapter/10.1007/978-3-030-17502-3_18 | |
| dc.description.version | Publisher's version | |
| dc.format.extent | 5 pages | |
| dc.identifier.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 | |
| dc.identifier.issn | 1611-3349 (online) | |
| dc.identifier.issn | 0302-9743 (print) | |
| dc.identifier.other | doi:10.1007/978-3-030-17502-3_18 | |
| dc.identifier.uri | http://hdl.handle.net/10019.1/123514 | |
| dc.language.iso | en_ZA | en_ZA |
| dc.publisher | Springer | |
| dc.rights.holder | Authors retain copyright | |
| dc.subject | Java pathfinder (JPF) | en_ZA |
| dc.subject | Computer software -- Verification | en_ZA |
| dc.subject | Java (Computer program language) | en_ZA |
| dc.subject | Computer software -- Verification | en_ZA |
| dc.title | Java Pathfinder at SV-COMP 2019 (Competition Contribution) | en_ZA |
| dc.type | Article | en_ZA |