We found 8 results
indigoBooksdaniel kroening

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 8 of 8 Results
Top Matches
Model Checking, Second Edition
Hardcover

|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…
Decision Procedures: An Algorithmic Point Of View

In stock online

Not available in stores

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on…
Validation Of Evolving Software
Paperback

|October 17, 2016

$148.23 online

$154.95list price

In stock online

Not available in stores

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of…
Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July…

In stock online

Not available in stores

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the…
Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July…

In stock online

Not available in stores

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the…
Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014…

In stock online

Not available in stores

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated…
Hardware And Software: Verification And Testing: 6th International Haifa Verification Conference…

In stock online

Not available in stores

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully…
Decision Procedures: An Algorithmic Point of View

Out of stock online

Not available in stores

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on…