Automatic compositional verification of timed systems
Specification and verification of real-time systems are important research topics with crucial applications; however, the so-called state space explosion problem often prevents model checking to be used in practice for large systems. In this work, we present a self-contained toolkit to analyze real-...
Saved in:
Main Authors: | LIN, Shang-Wei, LIU, Yang, SUN, Jun, DONG, Jin Song, ANDRÉ, Étienne |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2012
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5016 https://ink.library.smu.edu.sg/context/sis_research/article/6019/viewcontent/automatic_compo.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Symbolic model-checking of stateful timed CSP using BDD and digitization
by: NGUYEN, Truong Khanh, et al.
Published: (2012) -
Improved BDD-based discrete analysis of timed systems
by: NGUYEN, Truong Khanh, et al.
Published: (2012) -
Towards verification of computation orchestration
by: DONG, Jin Song, et al.
Published: (2014) -
PAT: Towards flexible verification under fairness
by: SUN, Jun, et al.
Published: (2009) -
Developing model checkers using PAT
by: LIU, Yang, et al.
Published: (2010)