Related Books

Computer-Aided Verification of Coordinating Processes
Language: en
Pages: 284
Authors: Robert P. Kurshan
Categories: Mathematics
Type: BOOK - Published: 2014-07-14 - Publisher: Princeton University Press

DOWNLOAD EBOOK

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are req
Computer Aided Verification of Coordinating Processes
Language: en
Pages: 0
Authors: rp kurshan
Categories:
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Computer-Aided Verification
Language: en
Pages: 143
Authors: Robert Kurshan
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of ver
Computer Aided Verification
Language: en
Pages: 504
Authors: Orna Grumberg
Categories: Computers
Type: BOOK - Published: 1997-06-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in J
Computer Aided Verification
Language: en
Pages: 645
Authors: Ed Brinksma
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was t