Table of contents

  1. Front Matter
  2. Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen
    Pages 9-18
  3. Douglas R. Smith
    Pages 62-84
  4. A. Gavilanes, J. Leach, S. Nieva
    Pages 102-116
  5. Deepak Kapur, M. Subramaniam
    Pages 117-131
  6. Anne Elisabeth Haxthausen, Friederike Nickl
    Pages 132-147
  7. Davide Ancona, Elena Zucca
    Pages 148-162
  8. Rolf Hennicker, Christoph Schmitz
    Pages 163-179
  9. M. Marcus, A. Pnueli
    Pages 226-240
  10. E. Pascal Gribomont
    Pages 256-270
  11. Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
    Pages 271-285
  12. J. A. Bergstra, P. Klint
    Pages 286-305
  13. Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri
    Pages 306-320
  14. Michele Boreale
    Pages 321-335
  15. Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
    Pages 336-350
  16. Eric C. R. Hehner
    Pages 351-374
  17. James Harland, David Pym, Michael Winikoff
    Pages 391-405
  18. M. R. K. Krishna Rao
    Pages 406-420
  19. Barbara Paech
    Pages 444-457
  20. Gilles Bernot, Sophie Coudert, Pascale Le Gall
    Pages 458-472
  21. Christel Baier, Mila Majster-Cederbaum
    Pages 473-486
  22. Manfred Broy
    Pages 487-503
  23. Jan Friso Groote, Jaco van de Pol
    Pages 536-550
  24. Michel Bidoit, Christine Choppy, Frédéric Voisin
    Pages 555-558
  25. Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
    Pages 559-562
  26. Robert Geisler, Marcus Klar, Felix Cornelius
    Pages 563-566
  27. P. Klint, P. Olivier
    Pages 575-578
  28. Arie van Deursen, Peter D. Mosses
    Pages 579-582
  29. Stephan Melzer, Stefan Römer, Javier Esparza
    Pages 591-594
  30. Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
    Pages 595-598

About these proceedings


This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.


Algebraische Spezifikation Formale Methoden Formale Verifikation Reaktive Systeme algebraic specification formal method formal methods formal verification logic programming proving reactive systems theorem proving verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61463-0
  • Online ISBN 978-3-540-68595-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site