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

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-33600-8
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-33599-5
  • Online ISBN 978-3-319-33600-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book