Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-34281-3_26
Title: More anti-chain based refinement checking
Authors: Wang, T.
Song, S.
Sun, J.
Liu, Y. 
Dong, J.S. 
Wang, X.
Li, S.
Issue Date: 2012
Source: Wang, T.,Song, S.,Sun, J.,Liu, Y.,Dong, J.S.,Wang, X.,Li, S. (2012). More anti-chain based refinement checking. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7635 LNCS : 364-380. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-34281-3_26
Abstract: Refinement checking plays an important role in system verification. It establishes properties of an implementation by showing a refinement relationship between the implementation and a specification. Recently, it has been shown that anti-chain based approaches increase the efficiency of trace refinement checking significantly. In this work, we study the problem of adopting anti-chain for stable failures refinement checking, failures-divergence refinement checking and probabilistic refine checking (i.e., a probabilistic implementation against a non-probabilistic specification). We show that the first two problems can be significantly improved, because the state space of the product model may be reduced dramatically. Though applying anti-chain for probabilistic refinement checking is more complicated, we manage to show improvements in some cases. We have integrated these techniques into the PAT model checking framework. Experiments are conducted to demonstrate the efficiency of our approach. © 2012 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/43179
ISBN: 9783642342806
ISSN: 03029743
DOI: 10.1007/978-3-642-34281-3_26
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

7
checked on Dec 11, 2017

Page view(s)

49
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.