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 |
Abstraction-based model checking of linear temporal properties M Mondok, A Vörös Budapest University of Technology and Economics, Department of Measurement …, 2020 | 2 | 2020 |
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 |
Model-Based Testing of Asynchronously Communicating Distributed Controllers B Graics, M Mondok, V Molnár, I Majzik International Conference on Formal Aspects of Component Software, 23-44, 2023 | | 2023 |
Efficient formal verification of component-based engineering models M Mondok, V Molnár | | 2022 |
Evaluating compositional verification options for PLCverif M Mondok | | 2021 |
Formal verification of engineering models via extended symbolic transition systems M Mondok, Á Hajdu | | 2020 |