Highly Influenced

# Model Checking and Modular Verification

@inproceedings{Grumberg1991ModelCA, title={Model Checking and Modular Verification}, author={Orna Grumberg and David E. Long}, booktitle={CONCUR}, year={1991} }

- Published 1991 in CONCUR
DOI:10.1007/3-540-54430-5_93

We describe a framework for compositional veri cation of nite state processes The framework is based on two ideas a subset of the logic CTL for which satisfaction is preserved under composition and a preorder on structures which captures the relation between a component and a system containing the component Satisfaction of a formula in the logic corresponds to being below a particular structure a tableau for the formula in the preorder We show how to do assume guarantee style reasoning withinâ€¦Â CONTINUE READING

Highly Cited

This paper has 35 citations. REVIEW CITATIONS

#### From This Paper

##### Topics from this paper.

21 Citations

25 References

Similar Papers