×

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


MSC:

68N25 Theory of operating systems

Software:

CESAR; SMV
PDFBibTeX XMLCite
Full Text: DOI Link