Theta: a framework for abstraction refinement-based model checking T Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik 2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017 | 70 | 2017 |
A configurable CEGAR framework with interpolation-based refinements Á Hajdu, T Tóth, A Vörös, I Majzik Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 24 | 2016 |
Lazy reachability checking for timed automata using interpolants T Tóth, I Majzik Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 14 | 2017 |
K-induction based verification of real-time safety critical systems T Tóth, A Vörös, I Majzik New Results in Dependability and Computer Systems: Proceedings of the 8th …, 2013 | 5 | 2013 |
Verification of a real-time safety-critical protocol using a modelling language with formal data and behaviour semantics T Tóth, A Vörös International Conference on Computer Safety, Reliability, and Security, 207-218, 2014 | 4 | 2014 |
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol T Tóth, A Vörös, I Majzik Software Engineering for Resilient Systems: 7th International Workshop …, 2015 | 2 | 2015 |
A Framework for Formal Verification of Real-Time Systems T Tóth | | |