Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas

2011 ◽  
Author(s):  
Christian Miller ◽  
Karina Gitina ◽  
Bernd Becker
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Bounded Model Checking ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Symbolic Model Checking for Real-Time Systems

1994 ◽  
Vol 111 (2) ◽  
pp. 193-244 ◽  
Author(s):  
T.A. Henzinger ◽  
X. Nicollin ◽  
J. Sifakis ◽  
S. Yovine
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Symbolic Model Checking ◽  
Real Time Systems ◽  
Symbolic Model ◽  
Time Systems

KRONOS — Model Checking of Real-time Systems

2001 ◽  
pp. 161-168
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Model Checking Process Algebra of Communicating Resources for Real-Time Systems

2014 ◽  
Author(s):  
A. Jalil Boudjadar ◽  
Jin Hyun Kim ◽  
Kim G. Larsen ◽  
Ulrik Nyman
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Process Algebra ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document