Skip to main content
SpringerLink
Log in
Book cover

Automatic Verification of Sequential Infinite-State Processes

  • Book
  • © 1997

Overview

Authors:
  1. Olaf Burkart

    1. Lehrstuhl Informatik V, Universität Dortmund, Dortmund

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1354)

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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 (6 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Introduction

    Pages 1-7

  3. Background

    Pages 9-31

  4. Pushdown Processes

    Pages 33-65

  5. Model Checking

    Pages 67-114

  6. Equivalence Checking

    Pages 115-149

  7. Summary and Perspectives

    Pages 151-154

  8. Back Matter

    Pages 155-163
    Download chapter PDF
Back to top

Keywords

About this book

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

Authors and Affiliations

  • Lehrstuhl Informatik V, Universität Dortmund, Dortmund

    Olaf Burkart

Bibliographic Information

  • Book Title: Automatic Verification of Sequential Infinite-State Processes

  • Authors: Olaf Burkart

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-69678-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1997

  • Softcover ISBN: 978-3-540-63982-4Published: 17 December 1997

  • eBook ISBN: 978-3-540-69678-0Published: 06 August 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 166

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Logics and Meanings of Programs, Software Engineering, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation