Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive
From MaRDI portal
(Redirected from Dataset:6695694)
DOI10.5281/zenodo.5956737Zenodo5956737MaRDI QIDQ6695694FDOQ6695694
Dataset published at Zenodo repository.
Ákos Hajdu, Vince Molnár, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi
Publication date: 2 February 2022
Copyright license: Creative Commons Attribution 4.0 International
This archive contains the tool archive of Theta for SV-COMP 2022, which was also added as a release to the tool (here).
This page was built for dataset: Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive
