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

or

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 $89.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 Computer-Aided Design CAD

3D Printing For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$34.99

30%
OFF

Data-driven BIM for Energy Efficient Building Design

1st Edition

Paperback

RRP $122.00

$101.75

17%
OFF

AutoCAD & AutoCAD LT All-in-One For Dummies

Paperback

RRP $90.95

$65.75

28%
OFF

Parametric Modeling with SOLIDWORKS 2026 : Parametric Modeling with SOLIDWORKS 2026 - Paul J. Schilling

$45.60

20%
OFF

Generation of Surfaces

Kinematic Geometry of Surface Machining

Hardcover

RRP $368.00

$315.99

14%
OFF

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Hardcover

RRP $305.00

$263.75

14%
OFF

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Paperback

RRP $83.99

$77.75

Natural Language Processing for Business and Organizations : Research and Innovation - Anshul Gupta

$438.75

15%
OFF

AutoCAD 2007 For Dummies

For Dummies

Paperback

RRP $57.95

$44.75

23%
OFF

Advancements in Machining Processes Through Hybrid and Sequential Approaches - Akshay Dvivedi

$193.75

12%
OFF

History That Breathes

From Sulva Sutras and Pythagorean Formula to Human Flourishing with Artificial Intelligence

Paperback

RRP $105.00

$92.75

12%
OFF

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 Computer-Aided Design CAD

3D Printing For Dummies

For Dummies (Computer/Tech)

Data-driven BIM for Energy Efficient Building Design

1st Edition

AutoCAD & AutoCAD LT All-in-One For Dummies

Parametric Modeling with SOLIDWORKS 2026

Parametric Modeling with SOLIDWORKS 2026

Fusion 360 for Makers, 2e

Design Your Own Digital Models for 3D Printing and CNC Fabrication

Generation of Surfaces

Kinematic Geometry of Surface Machining

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

Natural Language Processing for Business and Organizations

Research and Innovation

Additive Manufacturing Handbook

Product Development for the Defense Industry

AutoCAD 2007 For Dummies

For Dummies

Advancements in Machining Processes Through Hybrid and Sequential Approaches

Cybersecurity of Discrete Event Systems

From Smart Attacks to Resilient Defence

Designing Exoskeletons

Fusion and Integration of Clouds, Edges, and Devices

User Interface and User Experience

Foundational Principles for Interactive Design

History That Breathes

From Sulva Sutras and Pythagorean Formula to Human Flourishing with Artificial Intelligence

Artificial Intelligence in Architecture and the Built Environment

The Revolution Yet to Come

Artificial Intelligence in Material Science

Advances

Computer Graphics and CAD

Expanding the Frontiers of Design

Critical Perspectives

Flight Dynamics, Simulation, and Control

For Rigid and Flexible Aircraft

Injection Molding Process Modelling

Statistics, CAE, and AI Applications

Sustainable Manufacturing

An Emergence in Industry 4.0

This product is categorised by