Follow
Tamás Tóth
Title
Cited by
Cited by
Year
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
662017
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
222016
Lazy reachability checking for timed automata using interpolants
T Tóth, I Majzik
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
142017
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
52013
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
42014
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
22015
A Framework for Formal Verification of Real-Time Systems
T Tóth, I Majzik
22nd PhD Mini-Symposium, 12-13, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–7