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

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

  • Michael Butler
  • Klaus-Dieter Schewe
  • Atif Mashkoor
  • Miklos Biro
Conference proceedings ABZ 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Keynote Article

  3. Regular Research Articles

    1. Front Matter
      Pages 35-35
    2. Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy
      Pages 37-53
    3. Stephan Merz, Hernán Vanzetto
      Pages 54-69
    4. Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
      Pages 70-85
    5. Noran Azmy, Stephan Merz, Christoph Weidenbach
      Pages 86-101
    6. Ivaylo Dobrikov, Michael Leuschel
      Pages 102-118
    7. Michael Leuschel, Egon Börger
      Pages 119-134
    8. Sebastian Krings, Michael Leuschel
      Pages 135-150
    9. Andrew Edmunds, Colin Snook, Marina Walden
      Pages 151-166
    10. Dominik Hansen, David Schneider, Michael Leuschel
      Pages 167-182
    11. Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
      Pages 183-197
    12. Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
      Pages 198-212
  4. Short Articles (Work in Progress)

    1. Front Matter
      Pages 229-229
    2. Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke et al.
      Pages 231-236
    3. Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
      Pages 237-243
    4. Flavio Ferrarotti, Loredana Tec, José María Turull Torres
      Pages 244-249
    5. Yibo Liang, Yuhui Lin, Gudmund Grov
      Pages 262-268
    6. Dana Dghaym, Matheus Garay Trindade, Michael Butler, Asieh Salehi Fathabadi
      Pages 269-274
    7. Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky
      Pages 275-281
    8. Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
      Pages 282-289
    9. Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
      Pages 290-296
    10. Rajiv Murali, Andrew Ireland, Gudmund Grov
      Pages 297-302
    11. Joshua Schmidt, Sebastian Krings, Michael Leuschel
      Pages 303-307
    12. Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
      Pages 312-318
    13. Yuhui Lin, Gudmund Grov, Colin O’Halloran, Priiya G.
      Pages 319-325
  5. Articles Contributing to the Hemodialysis Machine Case Study

    1. Front Matter
      Pages 327-327
    2. Atif Mashkoor
      Pages 329-343
    3. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
      Pages 344-359
    4. Thai Son Hoang, Colin Snook, Lukas Ladenberger, Michael Butler
      Pages 360-375
    5. Richard Banach
      Pages 376-393
    6. Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
      Pages 394-408
    7. Artur O. Gomes, Andrew Butterfield
      Pages 409-424
  6. Back Matter
    Pages 425-426

About these proceedings


This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.
The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.


abstract state machine constraint programming formal method model checking software engineering alloy atelier-B B Circus Event-B hybrid system Pro-B refinement RODIN software analysis specification TLA+ VDM verification Z

Editors and affiliations

  • Michael Butler
    • 1
  • Klaus-Dieter Schewe
    • 2
  • Atif Mashkoor
    • 3
  • Miklos Biro
    • 4
  1. 1.University of SouthamptonSouthamptonUnited Kingdom
  2. 2.Software Competence CenterHagenbergAustria
  3. 3.Software Competence CenterHagenbergAustria
  4. 4.Software Competence CenterHagenbergAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-33599-5
  • Online ISBN 978-3-319-33600-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site