Skip to main content
SpringerLink
Log in

Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

  • Textbook
  • © 1991

Overview

Authors:
  1. Hans Eveking

    1. Technische Hochschule Darmstadt, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Leitfäden und Monographien der Informatik (LMI)

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

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Hans Eveking
      Pages 1-8

  3. Grundlagen

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Entwurfskorrektheit

      • Hans Eveking
      Pages 11-17

    3. Begriff der Abstraktionsebene

      • Hans Eveking
      Pages 19-26

    4. Modellierung von Verhalten

      • Hans Eveking
      Pages 27-34

    5. Sprachen der Prädikatenlogik

      • Hans Eveking
      Pages 35-42

    6. Formale Systeme der Prädikatenlogik

      • Hans Eveking
      Pages 43-56

  4. Elementare Verifikationstechniken für Hardwarebeschreibungen

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Hardwarebeschreibungen

      • Hans Eveking
      Pages 59-66

    3. Logikverifikation

      • Hans Eveking
      Pages 67-96

    4. Statische Beschreibungen

      • Hans Eveking
      Pages 97-106

    5. Transitionale Beschreibungen

      • Hans Eveking
      Pages 107-133

    6. Kombiniert statisch/transitionale Beschreibungen

      • Hans Eveking
      Pages 135-138

    7. Beschreibungen mit Vielfach-Verzögerungen

      • Hans Eveking
      Pages 139-158

    8. Switch-Level Beschreibungen

      • Hans Eveking
      Pages 159-176

    9. Strukturbeschreibungen

      • Hans Eveking
      Pages 177-187

  5. Entwurfsmethodik

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Strukturierte Entwurfsmethoden

      • Hans Eveking
      Pages 191-194

    3. Erweiterungen von Beschreibungen

      • Hans Eveking
      Pages 195-210
Back to top

Keywords

Authors and Affiliations

  • Technische Hochschule Darmstadt, Deutschland

    Hans Eveking

Bibliographic Information

  • Book Title: Verifikation digitaler Systeme

  • Book Subtitle: Eine Einführung in den Entwurf korrekter digitaler Systeme

  • Authors: Hans Eveking

  • Series Title: Leitfäden und Monographien der Informatik

  • DOI: https://doi.org/10.1007/978-3-322-94684-3

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1991

  • Softcover ISBN: 978-3-519-02249-7Published: 01 October 1991

  • eBook ISBN: 978-3-322-94684-3Published: 17 April 2013

  • Edition Number: 1

  • Number of Pages: XII, 308

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation