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
Conference proceedings ABZ 2014

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
  20. Andreas Fürst, Thai Son Hoang, David Basin, Naoto Sato, Kunihiko Miyazaki
    Pages 222-237
  21. Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
    Pages 238-254
  22. Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
    Pages 255-270
  23. Richard Banach
    Pages 271-276
  24. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    Pages 277-283
  25. Andrew Edmunds
    Pages 284-289
  26. David Delahaye, Catherine Dubois, Claude Marché, David Mentré
    Pages 290-293
  27. Sylvain Conchon, Mohamed Iguernelala
    Pages 294-297
  28. Jérôme Guéry, Olivier Rolland, Joris Rehm
    Pages 298-302
  29. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
    Pages 309-313
  30. Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso
    Pages 314-317
  31. Vajih Montaghami, Derek Rayside
    Pages 318-323
  32. Loïc Gammaitoni, Pierre Kelsen
    Pages 324-327
  33. Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki
    Pages 328-333
  34. Back Matter

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • 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