Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

Bożena Woźna-Szcześniak; Andrzej Zbrzezny

doi:10.3233/fi-2014-1140

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

Fundamenta Informaticae ◽

10.3233/fi-2014-1140 ◽

2014 ◽

Vol 135 (4) ◽

pp. 553-568

Author(s):

Bożena Woźna-Szcześniak ◽

Andrzej Zbrzezny

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Bounded Model Checking of an MITL Fragment for Timed Automata

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.25 ◽

2013 ◽

Cited By ~ 4

Author(s):

Roland Kindermann ◽

Tommi Junttila ◽

Ilkka Niemela

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Bounded Model Checking for Parametric Timed Automata

Lecture Notes in Computer Science - Transactions on Petri Nets and Other Models of Concurrency V ◽

10.1007/978-3-642-29072-5_6 ◽

2012 ◽

pp. 141-159 ◽

Cited By ~ 14

Author(s):

Michał Knapik ◽

Wojciech Penczek

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Bounded Model Checking of Incomplete Networks of Timed Automata

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.19 ◽

2010 ◽

Cited By ~ 5

Author(s):

Christian Miller ◽

Karina Gitina ◽

Christoph Scholl ◽

Bernd Becker

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30793-5_6 ◽

2012 ◽

pp. 84-100 ◽

Cited By ~ 10

Author(s):

Roland Kindermann ◽

Tommi Junttila ◽

Ilkka Niemelä

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Efficient encoding for bounded model checking of timed automata

IEEJ Transactions on Electrical and Electronic Engineering ◽

10.1002/tee.22457 ◽

2017 ◽

Vol 12 (5) ◽

pp. 710-720 ◽

Cited By ~ 2

Author(s):

Zuxi Chen ◽

Zhongwei Xu ◽

Junwei Du ◽

Meng Mei ◽

Jing Guo

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Checking ACTL * Properties of Discrete Timed Automata via Bounded Model Checking

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-40903-8_3 ◽

2004 ◽

pp. 18-33 ◽

Cited By ~ 2

Author(s):

Bożena Woźna ◽

Andrzej Zbrzezny

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Improved Bounded Model Checking of Timed Automata

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00016 ◽

2021 ◽

Author(s):

Robert L. Smith ◽

Marcello M. Bersani ◽

Matteo Rossi ◽

Pierluigi San Pietro

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase.2019.00-14 ◽

2019 ◽

Author(s):

Zuxi Chen ◽

Huixing Fang ◽

Xiangyu Luo

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12002-2_34 ◽

2010 ◽

pp. 405-419 ◽

Cited By ~ 7

Author(s):

Janusz Malinowski ◽

Peter Niebert

Keyword(s):

Model Checking ◽

Partial Order ◽

Timed Automata ◽

Bounded Model Checking ◽

Partial Order Semantics

Download Full-text

Bounded Model Checking for Probabilistic Computation Tree Logic

Journal of Software ◽

10.3724/sp.j.1001.2012.04089 ◽

2012 ◽

Vol 23 (7) ◽

pp. 1656-1668 ◽

Cited By ~ 6

Author(s):

Cong-Hua ZHOU ◽

Zhi-Feng LIU ◽

Chang-Da WANG

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Probabilistic Computation ◽

Computation Tree Logic ◽

Computation Tree

Download Full-text