Related Books

Symbolic Model Checking
Language: en
Pages: 202
Authors: Kenneth L. McMillan
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and u
Logic for Concurrency and Synchronisation
Language: en
Pages: 298
Authors: R.J. De Queiroz
Categories: Mathematics
Type: BOOK - Published: 2006-04-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of proces
Handbook of Model Checking
Language: en
Pages: 1210
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2018-05-18 - Publisher: Springer

DOWNLOAD EBOOK

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit
Principles of Model Checking
Language: en
Pages: 994
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2008-04-25 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl
Computer Aided Verification
Language: en
Pages: 645
Authors: Ed Brinksma
Categories: Computers
Type: BOOK - Published: 2002-07-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was t