Learning assumptions for compositional verification of timed systems

Learning assumptions for compositional verification of timed systems

Compositional techniques such as assume-guarantee reasoning (AGR) can help to alleviate the state space explosion problem associated with model checking. However, compositional verification is difficult to be automated, especially for timed systems, because constructing appropriate assumptions for A...

Full description

Saved in:
Bibliographic Details
Main Authors: LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2014
Subjects:
Automatic assume-guarantee reasoning
model checking
timed systems
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4982
https://ink.library.smu.edu.sg/context/sis_research/article/5985/viewcontent/learning.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4982
https://ink.library.smu.edu.sg/context/sis_research/article/5985/viewcontent/learning.pdf

Similar Items