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

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 Energy Technology & Engineering Electrical Engineering Graphical & Digital Media Applications

Computer-Aided Design CAD

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

Learning SOLIDWORKS 2026

Modeling, Assembly and Analysis

WunderCAD/CAMmer

A Digital Mirabiliaâs Compendium in Contemporary Material Science and Bioinspired Design

The Future of Business and Society

Integrating Sustainable Technologies with Data-Driven Solutions

AutoCAD & AutoCAD LT All-in-One For Dummies

Getting Started with 3D Printing

2nd Edition

Data-driven BIM for Energy Efficient Building Design

1st Edition

Engineering Analysis with SOLIDWORKS Simulation 2026

Text and Video Instruction

Mastering Modern CAD Drawings with SOLIDWORKS 2026

Applying ASME Standards to Engineering Drawings

A Hands-On Introduction to SOLIDWORKS 2026

Text and Video Instruction

SOLIDWORKS 2026 Quick Start

Computer Aided Design

Engineering Design and Modeling using AutoCAD

Computer-Assisted Language Learning in the Global South

Exploring Challenges and Opportunities for Students and Teachers

Functionally Graded Materials

Analysis and Applications to FGM, FG-CNTRC and FG Porous Structures

Fundamentals of Additive Manufacturing

Principles, Technologies, and Applications

Intelligent Systems of Computing and Informatics

Generation of Surfaces

Kinematic Geometry of Surface Machining

Natural Language Processing for Business and Organizations

Research and Innovation

Artificial Intelligent Towards Sustainable Impact Accelerator Through Education, Research and Advocacy

Artificial Intelligent Towards Sustainable Impact Accelerator Through Education, Research and Advocacy

Human-Computer Interaction

The Basics

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

Challenges and Opportunities in Artificial Intelligence

Engineering and Management Applications

Transformative applied research

Breakthrough research in a changing world

Plastic Futures in Architecture

From Recycled Synthetic to Bio-Based Polymers

This product is categorised by