Tamás Tóth
Cited by
Cited by
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
A configurable CEGAR framework with interpolation-based refinements
Á Hajdu, T Tóth, A Vörös, I Majzik
International Conference on Formal Techniques for Distributed Objects …, 2016
Lazy reachability checking for timed automata using interpolants
T Tóth, I Majzik
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
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
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
T Tóth, A Vörös, I Majzik
International Workshop on Software Engineering for Resilient Systems, 31-45, 2015
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, 469-478, 2013
A Framework for Formal Verification of Real-Time Systems
T Tóth, I Majzik
22nd PhD Mini-Symposium, 12-13, 2015
The system can't perform the operation now. Try again later.
Articles 1–7