Timed model checking with abstractions

Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 ◽

10.1145/2380356.2380372 ◽

2012 ◽

Author(s):

Georgia Giannopoulou ◽

Kai Lampka ◽

Nikolay Stoimenov ◽

Lothar Thiele

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Distributing Timed Model Checking — How the Search Order Matters

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_19 ◽

2000 ◽

pp. 216-231 ◽

Author(s):

Gerd Behrmann ◽

Thomas Hune ◽

Frits Vaandrager

Keyword(s):

Model Checking ◽

Search Order ◽

Timed Model Checking

Download Full-text

Issues in distributed timed model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-004-0143-z ◽

2004 ◽

Vol 7 (1) ◽

pp. 4-18 ◽

Author(s):

Víctor Braberman ◽

Alfredo Olivero ◽

Fernando Schapachnik

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Probabilistic Timed Model Checking for Atomic Web Service

2011 IEEE World Congress on Services ◽

10.1109/services.2011.42 ◽

2011 ◽

Author(s):

Honghao Gao ◽

Huaikou Miao ◽

Shengbo Chen ◽

Jia Mei

Keyword(s):

Model Checking ◽

Web Service ◽

Timed Model Checking

Download Full-text

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

Networked Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67087-0_7 ◽

2021 ◽

pp. 94-111

Author(s):

Boutheina Bannour ◽

Arnault Lapitre ◽

Pascale Le Gall

Keyword(s):

Model Checking ◽

Symbolic Execution ◽

Timed Model Checking

Download Full-text

Timed Model Checking Service-Oriented Product Lines

International Journal of u- and e- Service Science and Technology ◽

10.14257/ijunesst.2016.9.7.34 ◽

2016 ◽

Vol 9 (7) ◽

pp. 335-348

Author(s):

Hongxia Zhang ◽

Fei Wang

Keyword(s):

Model Checking ◽

Product Lines ◽

Service Oriented ◽

Timed Model Checking

Download Full-text

Timed Model Checking Based Approach for Web Services Analysis

2009 IEEE International Conference on Web Services ◽

10.1109/icws.2009.42 ◽

2009 ◽

Author(s):

Nawal Guermouche ◽

Claude Godart

Keyword(s):

Model Checking ◽

Web Services ◽

Timed Model Checking

Download Full-text

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

Formal Methods in System Design ◽

10.1007/s10703-006-0012-3 ◽

2006 ◽

Vol 29 (2) ◽

pp. 197-214 ◽

Author(s):

V. Braberman ◽

A. Olivero ◽

F. Schapachnik

Keyword(s):

Model Checking ◽

Timed Automata ◽

Timed Model Checking

Download Full-text

Timed model checking of fault-tolerant nuclear I&C systems

2020 IEEE 18th International Conference on Industrial Informatics (INDIN) ◽

10.1109/indin45582.2020.9442188 ◽

2020 ◽

Author(s):

Igor Buzhinsky ◽

Antti Pakonen

Keyword(s):

Model Checking ◽

Fault Tolerant ◽

Timed Model Checking

Download Full-text

Zenoness detection and timed model checking for real time systems

10.14236/ewic/vecos2007.12 ◽

2007 ◽

Author(s):

Rachid Hadjidj ◽

Hanifa Boucheneb ◽

Drifa Hadjidj

Keyword(s):

Model Checking ◽

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Timed Model Checking

Download Full-text

Using Timed Model Checking for Verifying Workflows

Proceedings of the 4th International Workshop on Wireless Information Systems ◽

10.5220/0002559500750088 ◽

2005 ◽

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text