Language Solving Using Simulation Relations

2011 ◽  
pp. 211-225
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  
Keyword(s):  
Simulation Relations

Characterizing Fault-Tolerant Systems by Means of Simulation Relations

2013 ◽  
pp. 428-442 ◽  
Author(s):  
Ramiro Demasi ◽  
Pablo F. Castro ◽  
Thomas S. E. Maibaum ◽  
Nazareno Aguirre
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems ◽  
Simulation Relations

scholarly journals Bisimulation and Simulation Relations for Markov Chains

2006 ◽  
Vol 162 ◽  
pp. 73-78 ◽  
Author(s):  
Christel Baier ◽  
Holger Hermanns ◽  
Joost-Pieter Katoen ◽  
Verena Wolf
Keyword(s):  
Markov Chains ◽  
Simulation Relations

Verification of temporal properties on hybrid automata by simulation relations

2007 ◽  
Author(s):  
A. D'Innocenzo ◽  
A.A. Julius ◽  
G.J. Pappas ◽  
M.D. Di Benedetto ◽  
S. Di Gennaro
Keyword(s):  
Hybrid Automata ◽  
Temporal Properties ◽  
Simulation Relations
Sign in / Sign up

Export Citation Format

Share Document