Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Model Checking.   

Computer Aided Verification: 9th International Conference, CAV'97 ..., Volume 9

Orna Grumberg - Computers - 1997 - 486 pages
This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The ...
Limited preview - About this book

Partial Order Methods in Verification: DIMACS Workshop, July 24-26, 1996

Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann - Computers - 1997 - 403 pages
This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for ...
Limited preview - About this book

25 Years of Model Checking: History, Achievements, Perspectives

Orna Grumberg, Helmut Veith - Computers - 2008 - 230 pages
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC ...
Limited preview - About this book

Symbolic Model Checking

Kenneth L. McMillan - Technology & Engineering - 2012 - 194 pages
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way ...
Limited preview - About this book

The SPIN Verification System: The Second Workshop on the SPIN Verification ...

Jean-Charles Grégoire, Gerard J. Holzmann, Doron Peled - Computers - 203 pages
What is SPIN? SPIN is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range ...
Limited preview - About this book

Tools and Algorithms for the Construction and Analysis of Systems: 13th ...

Orna Grumberg, Michael Huth - Computers - 2007 - 740 pages
This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in ...
Limited preview - About this book

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Tobias Nipkow, Christian Pfaller - Business & Economics - 2008 - 318 pages
Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process ...
Limited preview - About this book

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the ...

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner - Mathematics - 2009 - 245 pages
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search