Published November 23, 2023
| Version 0.9-violationWitness
Software
Open
JayHorn artifact at SV-COMP 2024
Authors/Creators
-
1.
University of Tehran
- 2. Tehran Institute for Advanced Studies
-
3.
University of Regensburg
Description
This is the binary of JayHorn 0.9-violationWitness submitted to SV-COMP 2024.
In addition to the authors that worked on the SV-COMP 2024 submission of JayHorn, the following people have contributed to JayHorn: Temesghen Kahsai, Daniel Dietsch, Rody Kersten, Huascar Sanchez, Martin Schäf, and Valentin Wüstholz.
JayHorn is open-source and distributed under MIT license.
Libraries used in JayHorn include, in particular:
- Soot, which is distributed under LGPL 2.1 or later.
- Eldarica, which is distributed under BSD license.
- Princess, which is distributed under LGPL 2.1 or later
Files
2024_jayhorn.zip
Files
(43.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:81238483e350b5730b9cfd0b799674aa
|
43.7 MB | Preview Download |