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

4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

  • Yamine Ait Ameur
  • Klaus-Dieter Schewe

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

Table of contents

  1. Front Matter
  2. Laurent Voisin, Jean-Raymond Abrial
    Pages 1-8
  3. Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
    Pages 9-24
  4. Chris Newcombe
    Pages 25-39
  5. Dominik Hansen, Michael Leuschel
    Pages 40-55
  6. Aleksandar Milicevic, Ido Efrati, Daniel Jackson
    Pages 56-71
  7. Stefan Hallerstede
    Pages 86-100
  8. Michael Leuschel, David Schneider
    Pages 101-116
  9. Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
    Pages 117-123
  10. Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
    Pages 124-129
  11. José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede
    Pages 130-135
  12. Eerke Boiten, Jeremy Jacob
    Pages 136-141
  13. Egon Börger, Klaus-Dieter Schewe
    Pages 142-157
  14. Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn
    Pages 158-173
  15. Marcel Dausend, Alexander Raschke
    Pages 174-187
  16. Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
    Pages 188-203
  17. Elvinia Riccobene, Patrizia Scandurra
    Pages 204-209
  18. Andreas Prinz, Edel Sherratt
    Pages 210-215
  19. Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani
    Pages 216-221

Other volumes

  1. Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
  2. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM, and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, 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.


ASM Alloy B Concurrency TLA TLA+ VDM Z abstract machines abstract state machines automata theory formal languages formal methods formal verification model checking models of computation temporal logic of actions

Editors and affiliations

  • Yamine Ait Ameur
    • 1
  • Klaus-Dieter Schewe
    • 2
  1. 1.INP-ENSEEIHT/IRITToulouse Cedex 7France
  2. 2.Software Competence Center HagenbergHagenbergAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-43652-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-43651-6
  • Online ISBN 978-3-662-43652-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site