Skip to main content
SpringerLink
Log in

Computer-Aided Verification

A Special Issue of Formal Methods In System Design on Computer-Aided Verification

  • Book
  • © 1993

Overview

Editors:
  1. Robert Kurshan

    1. AT&T Bell Laboratories, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages i-iv
    Download chapter PDF

  2. Introduction

    • Robert Kurshan
    Pages 1-3

  3. Formal Hardware Verification Methods: A Survey

    • Aarti Gupta
    Pages 5-92

  4. Auto/Autograph

    • Valérie Roy, Robert De Simone
    Pages 93-103

  5. On-the-fly Verification of Finite Transition Systems

    • Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
    Pages 105-127

  6. Memory-Efficient Algorithms for the Verification of Temporal Properties

    • C. Courcoubetis, M. Vardi, P. Wolper, M. Yannakakis
    Pages 129-142
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • AT&T Bell Laboratories, USA

    Robert Kurshan

Bibliographic Information

  • Book Title: Computer-Aided Verification

  • Book Subtitle: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

  • Editors: Robert Kurshan

  • DOI: https://doi.org/10.1007/978-1-4615-3556-0

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1993

  • Hardcover ISBN: 978-0-7923-9285-9Published: 31 December 1992

  • Softcover ISBN: 978-1-4613-6579-2Published: 05 October 2012

  • eBook ISBN: 978-1-4615-3556-0Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: IV, 142

  • Additional Information: Reprinted from FORMAL METHODS IN SYSTEM DESIGN, 1:2-3

  • Topics: Circuits and Systems, Theory of Computation, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design

Publish with us

Policies and ethics

Back to top

Search

Navigation