Advertisement

Table of contents

  1. Front Matter
  2. Christoph Beierle, Egon Börger, Igor Đurđanović, Uwe Glässer, Elvinia Riccobene
    Pages 52-78
  3. Michel Bidoit, Claude Chevenier, Christine Pellen, JérÔme Ryckbosch
    Pages 79-108
  4. Robert Büssow, Matthias Weber
    Pages 109-128
  5. Michael Butler, Emil Sekerinski, Kaisa Sere
    Pages 129-148
  6. Thierry Cattel, Gregory Duval
    Pages 149-164
  7. Jorge Cuéllar, Isolde Wildgruber
    Pages 165-183
  8. Jorge R. Cuéllar, Isolde Wildgruber
    Pages 184-202
  9. Gregory Duval, Thierry Cattel
    Pages 203-217
  10. Angelo Gargantini, Angelo Morzenti
    Pages 218-232
  11. Thomas A. Henzinger, Howard Wong-Toi
    Pages 265-282
  12. Yves Ledru, Marie-Laure Potet
    Pages 283-317
  13. Gunter Leeb, Nancy Lynch
    Pages 318-338
  14. Frank Leßke, Stephan Merz
    Pages 339-358
  15. Li XiaoShan, Wang JuAn
    Pages 359-378
  16. Peter Csaba ölveczky, Piotr Kosiuczenko, Martin Wirsing
    Pages 379-402
  17. Michael Schenke, Anders P. Ravn
    Pages 403-427
  18. Annette Lötzbeyer
    Pages 493-499
  19. Jean-Raymond Abrial
    Pages 500-509
  20. Back Matter

About this book

Introduction

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.
The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Keywords

CD-R CD-ROM code complex systems design documentation formal method programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0027227
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61929-1
  • Online ISBN 978-3-540-49566-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site