List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive | 2022-02-02 | Dataset |
| Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset | 2021-11-28 | Dataset |
| Efficient strategies for CEGAR-based model checking Journal of Automated Reasoning | 2020-11-02 | Paper |
| Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking" | 2020-06-15 | Dataset |
| Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework" | 2018-01-29 | Dataset |
| A configurable CEGAR framework with interpolation-based refinements Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
| New search strategies for the Petri net CEGAR approach Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
| Extensions to the CEGAR approach on Petri nets Acta Cybernetica | 2015-01-09 | Paper |
Research outcomes over time
This page was built for person: Ákos Hajdu
