Published November 22, 2024
| Version TACAS25-revision
Software
Open
Reproduction Package for TACAS 2024 Submission `Synthesis of Precise Error Conditions'
Authors/Creators
-
1.
Ludwig-Maximilians-Universität München
-
2.
Humboldt-Universität zu Berlin
Files
synthesis-of-precise-error-conditions-TACAS25-revision.zip
Files
(3.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:0a4b200c900da8cac461906f0b34ba24
|
3.2 GB | Preview Download |