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

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

Verification, Model Checking, and Abstract Interpretation: 9th International ...

Francesco Logozzo, Doron A. Peled, Leonore D. Zuck - Computers - 2008 - 325 pages
The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San ...
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

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

Automated Technology for Verification and Analysis: 14th International ...

Cyrille Artho, Axel Legay, Doron Peled - Computers - 2016 - 530 pages
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October ...
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




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