Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

(Hardback)

Available Formats

Publishing Details

Classifications

Physical Properties

Description

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Reviews

"A self-contained introduction for anyone familiar with the fundamentals of the theory of machines. The book is well indexed and contains a substantial bibliography, as well as pointing to the implementation of the verification techniques in the COSPAN system."--Computing Reviews