We found 4 results
indigoBooksedmund m. clarke

Your Store:

Sort By:

Sorted By: Top Matches
Filtered By:
1 - 4 of 4 Results
Top Matches
Model Checking, Second Edition

|December 4, 2018

$97.70 online

$99.00list price

Ships within 1-2 weeks

Not available in stores

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of…
Handbook Of Model Checking

|June 22, 2019


Out of stock online

Not available in stores

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science,…
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, Lpar…

In stock online

Not available in stores

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full…
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18…

In stock online

Not available in stores

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in…