Published February 2, 2022
| Version v1
Dataset
Open
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive
Authors/Creators
- 1. Department of Measurement and Information Systems Budapest University of Technology and Economics, Budapest, Hungary
- 2. Meta Platforms Inc., London, United Kingdom
Description
This archive contains the tool archive of Theta for SV-COMP 2022, which was also added as a release to the tool (here).
Files
theta.zip
Files
(163.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:adbe70386be072a8932ef3808d354d56
|
163.2 MB | Preview Download |