Published December 18, 2022
| Version v1
Software
Open
CEGAR-based Verification of Concurrent and Recursive Programs in Theta (Competition Contribution): Tool Archive
Authors/Creators
- 1. Department of Measurement and Information Systems Budapest University of Technology and Economics, Budapest, Hungary
Description
This archive contains the tool archive of Theta for SV-COMP 2023, which was also added as a release to the tool (here).
Files
theta.zip
Files
(167.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:20ad642f2dca3cc1164aefa034360b8e
|
167.3 MB | Preview Download |