Published October 2024
| Version v5
Software
Open
ConcurrentWitness2Test - SV-COMP'25 Validator Archive
Authors/Creators
-
1.
Budapest University of Technology and Economics
- 2. ftsrg
Files
ConcurrentWitness2Test.zip
Files
(28.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1b4da73a8964b4d02c5f979565fb491a
|
28.5 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/ftsrg/ConcurrentWitness2Test
- Programming language
- Python
- Development Status
- Active