Abstract State Machines, Alloy, B, VDM, and Z

Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

  • John Derrick
  • John Fitzgerald
  • Stefania Gnesi
  • Sarfraz Khurshid
  • Michael Leuschel
  • Steve Reeves
  • Elvinia Riccobene
Conference proceedings ABZ 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Egon Börger, Antonio Cisternino, Vincenzo Gervasi
      Pages 1-20
  3. ASM Papers

    1. Paolo Arcaini, Francesco Bolis, Angelo Gargantini
      Pages 36-50
    2. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
      Pages 51-64
    3. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
      Pages 65-78
    4. Vincenzo Gervasi
      Pages 79-93
  4. Alloy Papers

    1. Benoît Fraikin, Marc Frappier, Richard St-Denis
      Pages 94-107
    2. Aleksandar Milicevic, Daniel Jackson
      Pages 108-121
    3. Vajih Montaghami, Derek Rayside
      Pages 122-135
    4. Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
      Pages 136-149
    5. Amirhossein Vakili, Nancy A. Day
      Pages 150-163
  5. B Papers

    1. Jean-Raymond Abrial, Wen Su, Huibiao Zhu
      Pages 178-193
    2. David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
      Pages 194-207
    3. Gudmund Grov, Andrew Ireland, Maria Teresa Llano
      Pages 208-222
    4. Stefan Hallerstede, Thai Son Hoang
      Pages 223-237
    5. David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka
      Pages 238-251
  6. VDM Papers

    1. Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
      Pages 252-265
    2. Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
      Pages 266-279
  7. Z Papers

  8. ASM Short Papers

    1. Matthes Elstermann, Detlef Seese, Albert Fleischmann
      Pages 323-326
    2. Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra
      Pages 331-335
    3. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
      Pages 336-340
    4. Klaus-Dieter Schewe, Qing Wang
      Pages 341-344
    5. Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer
      Pages 345-348
  9. B Short Papers

    1. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
      Pages 349-352
    2. Haniel Barbosa, David Déharbe
      Pages 353-356
    3. Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook
      Pages 357-360
    4. Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu
      Pages 361-364
    5. Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva, Chris Lovell
      Pages 365-368
    6. Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
      Pages 369-372
    7. Gintautas Sulskus, Michael Poppleton
      Pages 373-376
  10. Back Matter

About these proceedings


This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

Editors and affiliations

  • John Derrick
    • 1
  • John Fitzgerald
    • 2
  • Stefania Gnesi
    • 3
  • Sarfraz Khurshid
    • 4
  • Michael Leuschel
    • 5
  • Steve Reeves
    • 6
  • Elvinia Riccobene
    • 7
  1. 1.Department of Computer ScienceUniversity of SheffieldSheffieldUK
  2. 2.Newcastle UniversityUK
  3. 3.Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”PisaItaly
  4. 4.Electrical and Computer EngineeringThe University of Texas at AustinAustinUSA
  5. 5.Heinrich-Heine-University of DüsseldorfGermany
  6. 6.Department of Computer ScienceThe University of WaikatoHamiltonNew Zealand
  7. 7.Department of Information TechnologyUniversità degli Studi di MilanoCremaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-30884-0
  • Online ISBN 978-3-642-30885-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software