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.75

or 4 interest-free payments of $34.94 with

Ships in 5 to 7 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 $0.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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Mathematics Mathematical Foundation Mathematical Logic Systems Analysis & Design

Energy Technology & Engineering Electrical Engineering

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 Circuits & Components

Circuits and Systems

A Modern Approach

Open Circuits

The Inner Beauty of Electronic Components

Encyclopedia of Electronic Components V3

Sensors for Location, Presence, Proximity, Orientation, Oscillation, Force, Load, Human Input, Liquid and Gas Properties, Light, Heat, Sound, and Electricity

Make: More Electronics

Journey Deep Into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Automobile Electrical and Electronic Systems

Introductory Circuit Analysis, Global Edition

14th Edition

Applied Embedded Electronics

Design Essentials for Robust Systems

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Small Signal Audio Design

Learn Electronics with Arduino

An Illustrated Beginner's Guide to Physical Computing

Easy Electronics

Make: Handbook

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Encyclopedia of Electronic Components Volume 2

Leds, Lcds, Audio, Thyristors, Digital Logic, and Amplification

AI Projects with Raspberry Pi

High-performance artificial intelligence for robotics, security, home automation, and vision

Control Systems Engineering Principles and Practice:

Classical and Modern Control

PID Control and PI State Estimation for Complex Networked Systems

Logic Synthesis for Multi-Core Counter-Based Control Units

Structural Decomposition in Logic Design

Quantum Mechanics

An Introduction for Devices Physicists and Electrical Engineers

Quantum Mechanics

An Introduction for Devices Physicists and Electrical Engineers

Further Electrical and Electronic Principles

Further Electrical and Electronic Principles

Introduction to Semiconductor Devices for Engineering Students

Introduction to Semiconductor Devices for Engineering Students

This product is categorised by