×

zbMATH — the first resource for mathematics

Automatic verification of finite-state concurrent systems using temporal logic specifications. (English) Zbl 0591.68027

MSC:
68N25 Theory of operating systems
Software:
CESAR; SMV
PDF BibTeX XML Cite
Full Text: DOI Link