Follow
Zsófia Ádám
Title
Cited by
Cited by
Year
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
162021
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
92022
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
32022
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
22023
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
22023
Efficient techniques for formal verification of C programs
Z Ádám, Z Micskei, Á Hajdu
Bachelor’s thesis, Budapest University of Technology and Economics, 2021
22021
Extending the Capabilities of the CEGAR Model Checking Algorithm
Z Ádám, Z Micskei
2023
Formulating Requirements with FRET for PLCVerif
Z Adam
2022
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers
Z Ádám, D Beyer, PC Chien, NZ Lee, N Sirrenberg
FormaliSE 2023
Z Ádám, L Bargmann, G Broccia, R Bruni, X Cheng, V Ciancia, ...
The system can't perform the operation now. Try again later.
Articles 1–10