Verification of Real-Time Systems using Statistical Model Checking

2015 ◽  
Author(s):  
Jeffery P. Hansen ◽  
Lutz Wrage
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Real Time ◽  
Real Time Systems ◽  
Statistical Model Checking ◽  
Time Systems

scholarly journals Time for Statistical Model Checking of Real-Time Systems

2011 ◽  
pp. 349-355 ◽  
Author(s):  
Alexandre David ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
Marius Mikučionis ◽  
Zheng Wang
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Real Time ◽  
Real Time Systems ◽  
Statistical Model Checking ◽  
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