Published May 28, 2025
| Version v10
Software
Open
EmergenTheta - SV-COMP Verifier Archive
Authors/Creators
- 1. Budapest University of Technology and Economics
Files
EmergenTheta.zip
Files
(495.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a7e6f9d6d4067c3fda941b56dec368aa
|
495.7 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/ftsrg/theta
- Programming language
- Java , Kotlin