Clarke, E. M.; Emerson, E. A.; Sistla, A. P. Automatic verification of finite-state concurrent systems using temporal logic specifications. (English) Zbl 0591.68027 ACM Trans. Program. Lang. Syst. 8, 244-263 (1986). Cited in 2 ReviewsCited in 270 Documents MSC: 68N25 Theory of operating systems Keywords:model checking; finite-state concurrent system; specification; temporal logic; fairness Software:SMV; CESAR PDF BibTeX XML Cite \textit{E. M. Clarke} et al., ACM Trans. Program. Lang. Syst. 8, 244--263 (1986; Zbl 0591.68027) Full Text: DOI Link OpenURL