scholarly journals Distributing Timed Model Checking — How the Search Order Matters

2000 ◽  
pp. 216-231 ◽  
Author(s):  
Gerd Behrmann ◽  
Thomas Hune ◽  
Frits Vaandrager
Keyword(s):  
Model Checking ◽  
Search Order ◽  
Timed Model Checking

Issues in distributed timed model checking

2004 ◽  
Vol 7 (1) ◽  
pp. 4-18 ◽  
Author(s):  
Víctor Braberman ◽  
Alfredo Olivero ◽  
Fernando Schapachnik
Keyword(s):  
Model Checking ◽  
Timed Model Checking

Probabilistic Timed Model Checking for Atomic Web Service

2011 ◽  
Author(s):  
Honghao Gao ◽  
Huaikou Miao ◽  
Shengbo Chen ◽  
Jia Mei
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Timed Model Checking

Timed model checking with abstractions

2012 ◽  
Author(s):  
Georgia Giannopoulou ◽  
Kai Lampka ◽  
Nikolay Stoimenov ◽  
Lothar Thiele
Keyword(s):  
Model Checking ◽  
Timed Model Checking

Dealing with practical limitations of distributed timed model checking for timed automata

2006 ◽  
Vol 29 (2) ◽  
pp. 197-214 ◽  
Author(s):  
V. Braberman ◽  
A. Olivero ◽  
F. Schapachnik
Keyword(s):  
Model Checking ◽  
Timed Automata ◽  
Timed Model Checking

scholarly journals Zenoness detection and timed model checking for real time systems

2007 ◽  
Author(s):  
Rachid Hadjidj ◽  
Hanifa Boucheneb ◽  
Drifa Hadjidj
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems ◽  
Timed Model Checking
Sign in / Sign up

Export Citation Format

Share Document