Available Formats
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
By (Author) Robert P. Kurshan
Princeton University Press
Princeton University Press
23rd September 2014
United States
Tertiary Education
Non Fiction
670.42
Paperback
284
Width 152mm, Height 229mm
397g
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
"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