Symbolic Model Checking

By: Kenneth McMillan

Write A Review

Hardcover

At a Glance

Hardcover
216 Pages

Dimensions(cm)
23.0 x 16.51 x 1.91

Hardcover

$139.00

or 4 interest-free payments of $34.75 with

or

Ships in 7 to 10 business days

Formal verification means having a mathematical model of asystem, a language for specifying desired properties of the system ina concise, comprehensible and unambiguous way, and a method of proofto verify that the specified properties are satisfied. When the methodof proof is carried out substantially by machine, we speak ofautomatic verification. "Symbolic Model Checking" deals withmethods of automatic verification as applied to computerhardware.The practical motivation for study in this area is the high andincreasing cost of correcting design errors in VLSI technologies.There is a growing demand for design methodologies that can yieldcorrect designs on the first fabrication run. Moreover, design errorsthat are discovered before fabrication can also be quite costly, interms of engineering effort required to correct the error, and theresulting impact on development schedules. Aside from pure costconsiderations, there is also a need on the theoretical side toprovide a sound mathematical basis for the design of computer systems, especially in areas that have received little theoreticalattention.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

Current Trends in Automated Reasoning

Hardcover

$421.75

Automated Theorem Proving

Theory and Practice

Hardcover

$416.75

Handbook of Automated Reasoning

Hardcover

$437.75

Current Trends in Automated Theorem Proving

Hardcover

$421.75

Automated Deduction

From Theory to Applications

Hardcover

$416.75

Advances in Automated Reasoning

Hardcover

$421.75

Unequal

The Maths of When Things Do and Don't Add Up

Hardcover

RRP $39.99

$31.75

21%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $110.00

$96.75

12%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $252.00

$219.75

13%
OFF

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Paperback

RRP $126.00

$79.99

37%
OFF

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $252.00

$148.99

41%
OFF

Logic For Dummies

For Dummies

Paperback

RRP $41.95

$29.37

30%
OFF

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Hardcover

RRP $183.95

$137.75

25%
OFF

The Times Bumper Book of Codewords Book 2

300 compelling and addictive codewords

Paperback

$31.75

Strongly Minimal Sets and Categoricity in Continuous Logic

Paperback

RRP $197.00

$187.75

$MISCHIEF OF MATH, THE : Short Stories of Clowns, Contortionists, and Court-Jesters - ENAGANTI INAVAMSI$

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Hardcover

RRP $86.99

$78.75

$MISCHIEF OF MATH, THE : Short Stories of Clowns, Contortionists, and Court-Jesters - ENAGANTI INAVAMSI$

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Paperback

RRP $45.99

$41.75

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Fuzzy Logic : An Introductory Text - Lukas Brooks

$47.75

10%
OFF

Foreword
Preface
Introduction	p. 1
Model Checking	p. 11
Symbolic Model Checking	p. 25
The SMV System	p. 61
A Distributed Cache Protocol	p. 87
MU-Calculus Model Checking	p. 113
Induction and Model Checking	p. 129
Equivalence Computations	p. 143
A Partial Order Approach	p. 153
Conclusion	p. 179
References	p. 183
Index	p. 191
Table of Contents provided by Blackwell. All Rights Reserved.

Symbolic Model Checking

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Unequal

The Maths of When Things Do and Don't Add Up

The Language of Mathematics

The Stories behind the Symbols

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Introduction to Modern Cryptography

Revised Third Edition

Logic For Dummies

For Dummies

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

The Times Bumper Book of Codewords Book 2

300 compelling and addictive codewords

Strongly Minimal Sets and Categoricity in Continuous Logic

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

How to Prove It

A Structured Approach

Fuzzy Logic

An Introductory Text

Modern Mathematical Logic

Fuzzy Logic in Revolutionizing Renewable Energy

Jenny Stanford Series on Fuzzy Theory Frontiers Vol. 2

What Is Mathematical Logic 2E Cloth

REFLECTIONS

THE MAGIC, MUSIC & MATH OF RAYMOND SMULLYAN

This product is categorised by