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

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen - Computers - 2008 - 975 pages
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both ...
Snippet view - About this book

25 Years of Model Checking: History, Achievements, Perspectives

Orna Grumberg, Helmut Veith - Computers - 2008 - 231 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

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

Model Checking and Artificial Intelligence: 6th International Workshop ...

Ron van der Meyden, Jan-Georg Smaus - Computers - 2011 - 131 pages
The LNAI series reports state-of-the-art results In artificial intelligence research, development, and education, at a high level and In both printed and electronic form ...
Limited preview - About this book

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago ...

E. Allen Emerson, A. Prasad Sistla - Computers - 2000 - 582 pages
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000. The 35 ...
Limited preview - About this book

Verification, Model Checking, and Abstract Interpretation: 10th ...

Neil D. Jones, Markus Müller-Olm - Computers - 2009 - 381 pages
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah ...
Limited preview - About this book

Verification, Model Checking, and Abstract Interpretation: Third ..., Volume 3

Agostino Cortesi - Computers - 2002 - 330 pages
The topographical and functional architecture of the human brain is highly complex. A profound understanding of this architecture is a prerequisite to understanding the ...
Limited preview - About this book




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