Computer-Aided Verification

By: Robert Kurshan (Editor)

Write A Review

Hardcover | 1 December 2009

At a Glance

Hardcover
152 Pages

Dimensions(cm)
25.4 x 17.15 x 1.27

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata.
The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error.
Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.

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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Hardware Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computer Science Systems Analysis & Design Graphical & Digital Media Applications Energy Technology & Engineering Electrical Engineering

Editor's Introduction	p. 1
Formal Hardware Verification Methods: A Survey	p. 5
Auto/Autograph	p. 93
On-the-fly Verification of Finite Transition Systems	p. 105
Memory-Efficient Algorithms for the Verification of Temporal Properties	p. 129
Table of Contents provided by Blackwell. All Rights Reserved.

Computer-Aided Verification

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Circuits & Components

Open Circuits

The Inner Beauty of Electronic Components

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Encyclopedia of Electronic Components Volume 2

Make: More Electronics

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

Learning the Art of Electronics

A Hands-On Lab Course

Introductory Circuit Analysis, Global Edition

14th Edition

Make: Electronics, 3e

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

Practical Electronics for Inventors

Electronics

Getting Started with Soldering

A Hands-On Guide to Making Electrical and Mechanical Connections

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Smart Grids

Sustainable Energy Systems

Signal Integrity in Digital Systems

Principles and Practice

Digital Design and Computer Architecture

2nd Edition

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Bridge Structural Health Monitoring

The Truss Bridge Management System

Tiny Machine Learning Techniques for Constrained Devices

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Volume 2

Electronic Design Automation for Integrated Circuits Handbook

Volume 1

Energy Storage

Systems and Components

IET Wiring Regulations

Electric Wiring for Domestic Installers

This product is categorised by