Published November 2024
| Version v9
Software
Open
EmergenTheta - SV-COMP'25 Verifier Archive
Authors/Creators
-
1.
Budapest University of Technology and Economics
- 2. ftsrg
Files
EmergenTheta.zip
Files
(522.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:55c19c8a05d7ea27cccd13412213b961
|
522.6 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/ftsrg/theta
- Programming language
- Java , Kotlin