JayHorn: A Java Model Checker [chapter]

Temesghen Kahsai, Philipp Rümmer, Martin Schäf
2019 Msphere  
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