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

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

  • Michael Butler
  • Alexander Raschke
  • Thai Son Hoang
  • Klaus Reichl
Conference proceedings ABZ 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10817)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson
      Pages 3-15
    3. Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
      Pages 16-30
  3. Translation and Transformation

    1. Front Matter
      Pages 37-37
    2. Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
      Pages 55-70
    3. Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
      Pages 71-86
  4. Analysis and Tests

    1. Front Matter
      Pages 87-87
    2. Jure Kukovec, Thanh-Hai Tran, Igor Konnov
      Pages 89-104
    3. Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
      Pages 105-120
    4. Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
      Pages 121-136
  5. Reals and Hybrid Systems

    1. Front Matter
      Pages 137-137
    2. Christoph Beierle, Klaus-Dieter Schewe
      Pages 139-154
    3. Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
      Pages 155-170
  6. Refinement

    1. Front Matter
      Pages 187-187
    2. Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
      Pages 189-203
    3. Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José María Turull-Torres
      Pages 204-218
    4. Chenyang Zhu, Michael Butler, Corina Cirstea
      Pages 219-233
    5. Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi
      Pages 234-248
  7. Hybrid ERTMS Case Study

    1. Front Matter
      Pages 249-249
    2. Thai Son Hoang, Michael Butler, Klaus Reichl
      Pages 251-261
    3. Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
      Pages 262-276
    4. Paolo Arcaini, Pavel Ježek, Jan Kofroň
      Pages 277-291
    5. Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin et al.
      Pages 292-306
    6. Alcino Cunha, Nuno Macedo
      Pages 307-321
    7. Jean-Raymond Abrial
      Pages 322-337
    8. Dana Dghaym, Michael Poppleton, Colin Snook
      Pages 338-352
    9. Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
      Pages 353-366
  8. Short Papers

    1. Front Matter
      Pages 367-367
    2. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
      Pages 369-373
    3. Markus Leitz, Alexander Raschke
      Pages 374-379
    4. Klaus-Dieter Schewe, Loredana Tec, Qing Wang
      Pages 380-385
    5. Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
      Pages 386-391
    6. John Baugh, Tristan Dyer
      Pages 392-396
    7. Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
      Pages 397-402
    8. Wen Su, Jinxin Chen, Shehroz Khan
      Pages 403-408
    9. Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
      Pages 409-414
    10. Lilian Burdy, David Deharbe
      Pages 415-419
    11. Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer
      Pages 420-424
    12. Yamine Aït-Ameur, Idir Ait-Sadoune, P. Casteran, Paul Gibson, K. Hacid, S. Kherroubi et al.
      Pages 425-430
  9. Back Matter
    Pages 431-432

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. 

The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.


Alloy Artificial intelligence B Method Event-B Formal logic Formal methods Formal specification Languages Model checking Problem solving Programming language Railway control Requirements Semantics Software engineering Specifications State-based methods Theorem proving Tools Verification

Editors and affiliations

  • Michael Butler
    • 1
  • Alexander Raschke
    • 2
  • Thai Son Hoang
    • 3
  • Klaus Reichl
    • 4
  1. 1.University of SouthamptonSouthamptonUnited Kingdom
  2. 2.Universität UlmUlmGermany
  3. 3.University of SouthamptonSouthamptonUnited Kingdom
  4. 4.Thales Austria GmbHViennaAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-91270-7
  • Online ISBN 978-3-319-91271-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site