Model Checking Duration Calculus: A Practical Approach

2006 ◽  
pp. 332-346 ◽  
Author(s):  
Roland Meyer ◽  
Johannes Faber ◽  
Andrey Rybalchenko
Keyword(s):  
Model Checking ◽  
Practical Approach ◽  
Duration Calculus

scholarly journals Model checking Duration Calculus: a practical approach

2008 ◽  
Vol 20 (4-5) ◽  
pp. 481-505 ◽  
Author(s):  
Roland Meyer ◽  
Johannes Faber ◽  
Jochen Hoenicke ◽  
Andrey Rybalchenko
Keyword(s):  
Model Checking ◽  
Practical Approach ◽  
Duration Calculus

A practical approach to model checking Duration Calculus using Presburger Arithmetic

2013 ◽  
Vol 71 (1-3) ◽  
pp. 251-278 ◽  
Author(s):  
Michael R. Hansen ◽  
Anh-Dung Phan ◽  
Aske W. Brekling
Keyword(s):  
Model Checking ◽  
Practical Approach ◽  
Duration Calculus ◽  
Presburger Arithmetic

Model-checking dense-time Duration Calculus

2004 ◽  
Vol 16 (2) ◽  
pp. 121-139 ◽  
Author(s):  
Martin Fränzle
Keyword(s):  
Model Checking ◽  
Time Duration ◽  
Duration Calculus

Model-checking discrete duration calculus

1994 ◽  
Vol 6 (S1) ◽  
pp. 826-845 ◽  
Author(s):  
Michael R. Hansen
Keyword(s):  
Model Checking ◽  
Duration Calculus

scholarly journals A Practical Approach to Coverage in Model Checking

2001 ◽  
pp. 66-78 ◽  
Author(s):  
Hana Chockler ◽  
Orna Kupferman ◽  
Robert P. Kurshan ◽  
Moshe Y. Vardi
Keyword(s):  
Model Checking ◽  
Practical Approach

A Practical Approach for Model Checking C/C++11 Code

2016 ◽  
Vol 38 (3) ◽  
pp. 1-51 ◽  
Author(s):  
Brian Norris ◽  
Brian Demsky
Keyword(s):  
Model Checking ◽  
Practical Approach
Sign in / Sign up

Export Citation Format

Share Document