Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) Z Ádám, G Sallai, Á Hajdu International Conference on Tools and Algorithms for the Construction and …, 2021 | 20 | 2021 |
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V Molnár International Conference on Tools and Algorithms for the Construction and …, 2022 | 12 | 2022 |
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification M Somorjai, M Dobos-Kovács, Z Ádám, L Bajczi, A Vörös arXiv preprint arXiv:2404.15215, 2024 | 6 | 2024 |
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers Z Ádám, D Beyer, PC Chien, NZ Lee, N Sirrenberg International Conference on Tools and Algorithms for the Construction and …, 2024 | 6 | 2024 |
From natural language requirements to the verification of programmable logic controllers: integrating FRET into PLCverif Z Ádám, ID Lopez-Miguel, A Mavridou, T Pressburger, M Bę¶, ... NASA Formal Methods Symposium, 353-360, 2023 | 4 | 2023 |
C for yourself: comparison of front-end techniques for formal verification L Bajczi, Z Ádám, V Molnár Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022 | 4 | 2022 |
ConcurrentWitness2Test: Test-harnessing the power of concurrency (competition contribution) L Bajczi, Z Ádám, Z Micskei International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
Theta: Abstraction based techniques for verifying concurrency (competition contribution) L Bajczi, C Telbisz, M Somorjai, Z Ádám, M Dobos-Kovács, D Szekeres, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
Automated verification of programmable logic controller programs against structured natural language requirements Z Ádám, ID Lopez-Miguel, A Mavridou, T Pressburger, M Bes, EB Vinuela, ... National Aeronautics and Space Administration, 2023 | 2 | 2023 |
Efficient techniques for formal verification of C programs Z Ádám, Z Micskei, Á Hajdu Bachelor’s thesis, Budapest University of Technology and Economics, 2021 | 2 | 2021 |
EmergenTheta: Verification beyond abstraction refinement (competition contribution) L Bajczi, D Szekeres, M Mondok, Z Ádám, M Somorjai, C Telbisz, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies Z Ádám, BZ Péter, Z Micskei, I Kocsis THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 15, 2024 | | 2024 |
Extending the Capabilities of the CEGAR Model Checking Algorithm Z Ádám, Z Micskei | | 2023 |
Formulating Requirements with FRET for PLCVerif Z Adam | | 2022 |
FormaliSE 2023 Z Ádám, L Bargmann, G Broccia, R Bruni, X Cheng, V Ciancia, ... | | |