Tamás Tóth
CímIdézteÉv
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
92016
Theta: a framework for abstraction refinement-based model checking
T Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik
2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017
52017
Lazy reachability checking for timed automata using interpolants
T Tóth, I Majzik
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
42017
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
32014
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
22013
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
12015
A Framework for Formal Verification of Real-Time Systems
T Tóth
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–7