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 - 234 pages
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs ...
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 - 2003 - 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

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

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

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

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

Software Safety and Security: Tools for Analysis and Verification

Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann, NATO Emerging Security Challenges Division - Computers - 2012 - 387 pages
Printbegrænsninger: Der kan printes 10 sider ad gangen og max. 40 sider pr. session
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