Interpolation guided compositional verification
Model checking suffers from the state space explosion problem. Compositional verification techniques such as assume-guarantee reasoning (AGR) have been proposed to alleviate the problem. However, there are at least three challenges in applying AGR. Firstly, given a system M1 M2, how do we automatica...
Saved in:
Main Authors: | LIN, Shang-Wei, SUN, Jun, NGUYEN, Truong Khanh, LIU, Yang, DONG, Jin Song |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2015
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4974 https://ink.library.smu.edu.sg/context/sis_research/article/5977/viewcontent/ASE.2015.33.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Cell : A compositional verification framework
by: JI KUN
Published: (2013) -
Learning assumptions for compositional verification of timed systems
by: LIN, Shang-Wei Lin, et al.
Published: (2014) -
Memory model sensitive bytecode verification
by: Huynh, T.Q., et al.
Published: (2013) -
Verification and Analysis of Web Service Composition
by: TAN TIAN HUAT
Published: (2013) -
FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
by: CHEN MANMAN
Published: (2015)