×

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


MSC:

68N25 Theory of operating systems

Software:

SMV; CESAR
PDF BibTeX XML Cite
Full Text: DOI Link