Követés
Zsófia Ádám
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
202021
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
122022
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
62024
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
62024
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
42023
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
42022
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
32024
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
22024
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
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
12024
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, ...
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–15