|
|
|||
|
||||
OverviewFormal 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 Full Product DetailsAuthor: Robert P. KurshanPublisher: Princeton University Press Imprint: Princeton University Press Dimensions: Width: 15.20cm , Height: 1.80cm , Length: 22.90cm Weight: 0.567kg ISBN: 9780691634890ISBN 10: 0691634890 Pages: 284 Publication Date: 19 April 2016 Audience: College/higher education , Professional and scholarly , Tertiary & Higher Education , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Language: English Table of ContentsPreface1Introduction32Boolean Algebra313L-matrix454L-language515String Acceptors636[omega]-theory: L-automaton/L-process777The Selection/Resolution Model1098Reduction of Verification1539Structural Induction20310Binary Decision Diagrams215Appendices231Bibliography241Glossary263Index264ReviewsA 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 Author InformationTab Content 6Author Website:Countries AvailableAll regions |