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:
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

Similar Items