Transformations for Compositional Verification of Assumption-Commitment Properties

Abstract

This paper presents a transformation-based compositional verification approach for verifying assumption-commitment properties. Our approach improves the verification process by pruning the state space of the model where the assumption is violated. This exclusion is performed by transformation functions which are defined based on a new notion of edges… (More)
DOI: 10.1007/978-3-319-11439-2_17

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Mahdi2014TransformationsFC, title={Transformations for Compositional Verification of Assumption-Commitment Properties}, author={Ahmed Mahdi and Bernd Westphal and Martin Fr{\"a}nzle}, booktitle={RP}, year={2014} }