Highly Influenced

# A Linear Local Model Checking Algorithm for CTL

@inproceedings{Vergauwen1993ALL, title={A Linear Local Model Checking Algorithm for CTL}, author={Bart Vergauwen and Johan Lewi}, booktitle={CONCUR}, year={1993} }

- Published 1993 in CONCUR
DOI:10.1007/3-540-57208-2_31

Abs t r ac t . Transition systems play a central role as formal models for reactive and concurrent systems. A promising technique for automatically verifying transition systems is model checking. In the model-theoretic approach one mechanically determines whether a given transition system T meets a specification f by checking whether T is a model for f . In this paper Computation 'I~ee Logic, a form of branching time temporal logic, is used as a specification tool. The paper presents a localâ€¦Â CONTINUE READING

Highly Cited

This paper has 44 citations. REVIEW CITATIONS