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
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

About these proceedings

Introduction

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 https://doi.org/10.1007/978-3-642-30885-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-30884-0
  • Online ISBN 978-3-642-30885-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349