Model-checking discrete duration calculus

Formal Aspects of Computing ◽

10.1007/bf01213605 ◽

1994 ◽

Vol 6 (S1) ◽

pp. 826-845 ◽

Author(s):

Michael R. Hansen

Keyword(s):

Model Checking ◽

Duration Calculus

Download Full-text

Model-checking dense-time Duration Calculus

Formal Aspects of Computing ◽

10.1007/s00165-004-0032-y ◽

2004 ◽

Vol 16 (2) ◽

pp. 121-139 ◽

Author(s):

Martin Fränzle

Keyword(s):

Model Checking ◽

Time Duration ◽

Duration Calculus

Download Full-text

Bounded model-checking of discrete duration calculus

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461362 ◽

2013 ◽

Author(s):

Quan Zu ◽

Miaomiao Zhang ◽

Jiaqi Zhu ◽

Naijun Zhan

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Duration Calculus

Download Full-text

Model checking Duration Calculus: a practical approach

Formal Aspects of Computing ◽

10.1007/s00165-008-0082-7 ◽

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

Download Full-text

A practical approach to model checking Duration Calculus using Presburger Arithmetic

Annals of Mathematics and Artificial Intelligence ◽

10.1007/s10472-013-9373-7 ◽

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

Download Full-text

Model Checking Duration Calculus: A Practical Approach

Lecture Notes in Computer Science - Theoretical Aspects of Computing - ICTAC 2006 ◽

10.1007/11921240_23 ◽

2006 ◽

pp. 332-346 ◽

Author(s):

Roland Meyer ◽

Johannes Faber ◽

Andrey Rybalchenko

Keyword(s):

Model Checking ◽

Practical Approach ◽

Duration Calculus

Download Full-text

Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.26 ◽

2008 ◽

Author(s):

Martin Fränzle ◽

Michael R. Hansen

Keyword(s):

Model Checking ◽

Branching Time ◽

Duration Calculus

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Download Full-text