Table of contents

  1. Front Matter
  2. Hartmut Ehrig, Bernd Mahr
    Pages 1-24
  3. Christiane Floyd
    Pages 25-41
  4. Dexter Kozen
    Pages 42-61
  5. Marie-Claude Gaudel
    Pages 82-96
  6. Vaughan Pratt
    Pages 97-107
  7. Vaughan Pratt
    Pages 108-122
  8. Andreas Potthoff
    Pages 123-139
  9. Roberto M. Amadio1, Mads Dam
    Pages 202-216
  10. Xinxin Liu, David Walker
    Pages 217-231
  11. Burghard von Karger
    Pages 232-246
  12. Victor Selivanov
    Pages 277-287

About these proceedings


This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.


Debugging Formal Methods Formale Methoden Program Semantics Programmsemantik Programmspezifikation Simulation Software Development Software Entwicklung Variable algorithms automata design object theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59293-8
  • Online ISBN 978-3-540-49233-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment