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

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

Software Reliability Methods

Doron Peled - Computers - 2001 - 331 pages
This title presents a collection of methods for dealing with software reliability. It compares these methods, and shows their advantages and disadvantages. The book presents a ...
Limited preview - About this book

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

Orna Grumberg - Computers - 1997 - 486 pages
Constituting the proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa in 1997, this volume comprises 34 revised full papers ...
Limited preview - About this book

Computer Aided Verification: 11th International Conference, CAV'99, Trento ...

Nicolas Halbwachs, Doron Peled - Computers - 1999 - 506 pages
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC ...
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

Symbolic model checking

Kenneth L. McMillan - Technology & Engineering - 1993 - 194 pages
Finite state models of concurrent systems grow exponentially as the number of components of the system increases. This is known widely as the state explosion problem in ...
Snippet view - About this book

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

Jean-Charles Grégoire, Gerard J. Holzmann, Doron Peled - Computers - 1997 - 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

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 - Computers - 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