Skip to main content
SpringerLink
Log in

Formal Development of Reactive Systems

Case Study Production Cell

  • Book
  • © 1995

Overview

Editors:
  1. Claus Lewerentz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Lindner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
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 (22 chapters)

  1. Modula-3

    • Andreas Rüping, Emil Sekerinski
    Pages 357-371

  2. TROLL light

    • Rudolf Herzig, Nikolaos Vlachantonis
    Pages 373-381

  3. Simulation

    • Artur Brauer, Thomas Lindner
    Pages 383-394

  4. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation