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