Published November 2024
| Version v6
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:ec79821349b3bf9916720e084165bf35
|
28.5 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/ftsrg/ConcurrentWitness2Test
- Programming language
- Python
- Development Status
- Active