Follow
Levente Bajczi
Title
Cited by
Cited by
Year
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
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
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
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
12024
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
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
12024
Will My Program Break on This Faulty Processor? Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
L Bajczi, A Vörös, V Molnár
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-21, 2019
12019
Handling Axiomatic Memory Models in Abstraction-Based Model Checking of Concurrent and Distributed Systems
L Bajczi, V Molnár
2022
Stateless software model checking parameterized with memory consistency models
L Bajczi, V Molnár
2020
The system can't perform the operation now. Try again later.
Articles 1–9