Compositional Abstraction in Real-Time Model Checking

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

10.1007/978-3-540-85778-5_17 ◽

2008 ◽

pp. 233-249 ◽

Author(s):

Jasper Berendsen ◽

Frits Vaandrager

Keyword(s):

Model Checking ◽

Real Time ◽

Download Full-text

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45619-8_8 ◽

2002 ◽

pp. 100-114 ◽

Author(s):

Giridhar Pemmasani ◽

C. R. Ramakrishnan ◽

I. V. Ramakrishnan

Keyword(s):

Model Checking ◽

Logic Programming ◽

Real Time ◽

Download Full-text

Splitting trees and partition refinement in real-time model checking

Proceedings of the 35th Annual Hawaii International Conference on System Sciences ◽

10.1109/hicss.2002.994478 ◽

2003 ◽

Author(s):

R.F.L. Spelberg ◽

W.J. Toetenel

Keyword(s):

Model Checking ◽

Real Time ◽

Partition Refinement

Download Full-text

Fast On-the-Fly Parametric Real-Time Model Checking

26th IEEE International Real-Time Systems Symposium (RTSS'05) ◽

10.1109/rtss.2005.22 ◽

2006 ◽

Author(s):

Dezhuang Zhang ◽

R. Cleaveland

Keyword(s):

Model Checking ◽

Real Time ◽

Download Full-text

Peer Review #1 of "Exact acceleration of complex real-time model checking based on overlapping cycle (v0.2)"

10.7287/peerj-cs.272v0.2/reviews/1 ◽

2020 ◽

Author(s):

U Fahrenberg

Keyword(s):

Model Checking ◽

Peer Review ◽

Real Time ◽

Download Full-text

A Comparative Study of Decision Diagrams for Real-Time Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94111-0_13 ◽

2018 ◽

pp. 216-234

Author(s):

Omar Al-Bataineh ◽

Mark Reynolds ◽

David Rosenblum

Keyword(s):

Model Checking ◽

Comparative Study ◽

Real Time ◽

Decision Diagrams ◽

Download Full-text

On Expressiveness and Complexity in Real-Time Model Checking

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70583-3_11 ◽

2008 ◽

pp. 124-135 ◽

Author(s):

Patricia Bouyer ◽

Nicolas Markey ◽

Joël Ouaknine ◽

James Worrell

Keyword(s):

Model Checking ◽

Real Time ◽

Download Full-text

Real-Time Model Checking for Regulatory Compliance

Mobile Communication and Power Engineering - Communications in Computer and Information Science ◽

10.1007/978-3-642-35864-7_10 ◽

2013 ◽

pp. 70-77 ◽

Author(s):

Shin-ya Nishizaki ◽

Takuya Ohata

Keyword(s):

Model Checking ◽

Real Time ◽

Regulatory Compliance ◽

Download Full-text

Peer Review #2 of "Exact acceleration of complex real-time model checking based on overlapping cycle (v0.2)"

10.7287/peerj-cs.272v0.2/reviews/2 ◽

2020 ◽

Keyword(s):

Model Checking ◽

Peer Review ◽

Real Time ◽

Download Full-text

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

Journal of Mechanical Engineering ◽

10.3901/jme.2010.02.185 ◽

2010 ◽

Vol 46 (02) ◽

pp. 185 ◽

Author(s):

Yanhua DU

Keyword(s):

Model Checking ◽

Real Time ◽

Temporal Consistency ◽

Download Full-text

Partition refinement in real-time model checking

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/bfb0055344 ◽

1998 ◽

pp. 143-157 ◽

Author(s):

Ronald Lutje Spelberg ◽

Hans Toetenel ◽

Marcel Ammerlaan

Keyword(s):

Model Checking ◽

Real Time ◽

Partition Refinement

Download Full-text