A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
JayHorn: A Java Model Checker
[chapter]
2019
Msphere
Preserved Fulltext
JayHorn is a model checker for verifying sequential Java programs annotated with assertions expressing safety conditions.
doi:10.1007/978-3-030-17502-3_16
fatcat:u3opoi5ajbeo3axf7d4gqsnbxu