Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

  • Editors
  • Egon Börger
  • Michael Butler
  • Jonathan P. Bowen
  • Paul Boca
Conference proceedings ABZ 2008

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

Table of contents

  1. Front Matter
  2. Chapter 1. ABZ Invited Talks

  3. Chapter 2. ASM Papers

    1. Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
      Pages 71-84
    2. Christoph Beierle, Gabriele Kern-Isberner
      Pages 98-111
    3. Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich
      Pages 112-124
  4. Chapter 3. B Papers

    1. Stefan Hallerstede
      Pages 125-138
    2. Jacques Julliand, Pierre-Alain Masson, Régis Tissot
      Pages 139-152
    3. Frédéric Dadeau, Adrien De Kermadec, Régis Tissot
      Pages 153-166
    4. Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard
      Pages 181-194
    5. Steve Dunne, Stacey Conroy
      Pages 195-208
    6. Michael Poppleton
      Pages 209-222
    7. Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet
      Pages 237-250
  5. Chapter 4. Z Papers

    1. John Derrick, Siobhán North, Anthony J. H. Simons
      Pages 280-293
    2. Eunsuk Kang, Daniel Jackson
      Pages 294-308
    3. Mark Utting, Petra Malik
      Pages 309-322
  6. Chapter 5. ABZ Short Papers

    1. Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
      Pages 338-338
    2. Idir Ait-Sadoune, Yamine Ait-Ameur
      Pages 339-340
    3. Joelle Cohen, Anatol Slissenko
      Pages 341-341
    4. Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim
      Pages 342-342
    5. Colin Snook, Michael Butler
      Pages 344-344
    6. Antoine Requet
      Pages 345-345
    7. Paulo J. Matos, João Marques-Silva
      Pages 346-346
    8. Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
      Pages 347-347
    9. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
      Pages 348-348
    10. Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira
      Pages 349-349
    11. Ramsay Taylor
      Pages 350-350
    12. David Déharbe, Bruno Gomes, Anamaria Moreira
      Pages 351-352
    13. Eerke A. Boiten
      Pages 353-353
    14. Ileana Ober, Ali Abou Dib
      Pages 354-354
    15. Hocine El-Habib Daho, Djilali Benhamamouch
      Pages 356-356
    16. Christophe Metayer, Mathieu Clabaut
      Pages 357-357
    17. Jean-Charles Chaudemar, Charles Castel, Christel Seguin
      Pages 358-358
    18. Helen Treharne, Edward Turner, Steve Schneider, Neil Evans
      Pages 359-359
  7. Chapter 6. VSR Day

    1. Jim Woodcock, Paul Boca
      Pages 378-379
  8. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.

The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.


B method abstract state machines access control automatic verification complex systems cryptography design design process distributed systems dynamically configurable systems event-B formal methods formal software development formal specification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-87602-1
  • Online ISBN 978-3-540-87603-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment