Compositional Abstraction Refinement for Component-Based Systems
Joint Authors
Lo, Kueiming
Meng, Qingdi
Zhang, Lianyi
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-06-11
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
The efficiency of the compositional verification of invariants depends on the abstraction, which may lead to verification incompleteness.
The invariant strengthening and state partitioning techniques are proposed in this paper.
The former could refine the overapproximation by removing the unreachable states, and the latter is a variant of counterexample-guided abstraction refinement.
Integrated with these two refinement techniques, a unified compositional verification framework is presented to strengthen the abstraction and find counterexamples.
Some examples are included to show that the verification of the safety properties in component-based systems has been achieved by our framework.
American Psychological Association (APA)
Zhang, Lianyi& Meng, Qingdi& Lo, Kueiming. 2014. Compositional Abstraction Refinement for Component-Based Systems. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-491794
Modern Language Association (MLA)
Zhang, Lianyi…[et al.]. Compositional Abstraction Refinement for Component-Based Systems. Journal of Applied Mathematics No. 2014 (2014), pp.1-12.
https://search.emarefa.net/detail/BIM-491794
American Medical Association (AMA)
Zhang, Lianyi& Meng, Qingdi& Lo, Kueiming. Compositional Abstraction Refinement for Component-Based Systems. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-491794
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-491794