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

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

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

Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic

Lecture Notes in Computer Science - STACS 2003 ◽

10.1007/3-540-36494-3_60 ◽

2003 ◽

pp. 687-698 ◽

Author(s):

Véronique Bruyère ◽

Emmanuel Dall’Olio ◽

Jean-FranÇois Raskin

Keyword(s):

Model Checking ◽

Timed Automata ◽

Parametric Model ◽

Presburger Arithmetic

Download Full-text

A Practical Approach to Word Level Model Checking of Industrial Netlists

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_43 ◽

2008 ◽

pp. 446-458 ◽

Author(s):

Per Bjesse

Keyword(s):

Model Checking ◽

Practical Approach ◽

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

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_11 ◽

2002 ◽

pp. 171-186 ◽

Author(s):

Vijay Ganesh ◽

Sergey Berezin ◽

David L. Dill

Keyword(s):

Model Checking ◽

Presburger Arithmetic

Download Full-text

On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.26 ◽

2011 ◽

Author(s):

Michael R. Hansen ◽

Aske W. Brekling

Keyword(s):

Tool Support ◽

Duration Calculus ◽

Presburger Arithmetic

Download Full-text

A Practical Approach to the Formal Verification of SoC’s with Symbolic Model-Checking

The Kluwer International Series in Engineering and Computer Science - System-on-Chip for Real-Time Applications ◽

10.1007/978-1-4615-0351-4_10 ◽

2003 ◽

pp. 98-110

Author(s):

Emil Dumitrescu

Keyword(s):

Model Checking ◽

Formal Verification ◽

Symbolic Model Checking ◽

Practical Approach ◽

Download Full-text

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