Skip to main content
SpringerLink
Log in
Book cover

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

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Michael Butler

    1. University of Southampton, Southampton, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus-Dieter Schewe

    1. Software Competence Center, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Atif Mashkoor

    1. Software Competence Center, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Miklos Biro

    1. Software Competence Center, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ABZ 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages I-XXI
    Download chapter PDF

  3. Regular Research Articles

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. A Universal Control Construct for Abstract State Machines

      • Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy
      Pages 37-53

    3. Encoding TLA\(^{+}\) into Many-Sorted First-Order Logic

      • Stephan Merz, Hernán Vanzetto
      Pages 54-69

    4. Proving Determinacy of the PharOS Real-Time Operating System

      • Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
      Pages 70-85

    5. A Rigorous Correctness Proof for Pastry

      • Noran Azmy, Stephan Merz, Christoph Weidenbach
      Pages 86-101

    6. Enabling Analysis for Event-B

      • Ivaylo Dobrikov, Michael Leuschel
      Pages 102-118

    7. A Compact Encoding of Sequential ASMs in Event-B

      • Michael Leuschel, Egon Börger
      Pages 119-134

    8. Proof Assisted Symbolic Model Checking for B and Event-B

      • Sebastian Krings, Michael Leuschel
      Pages 135-150

    9. On Component-Based Reuse for Event-B

      • Andrew Edmunds, Colin Snook, Marina Walden
      Pages 151-166

    10. Using B and ProB for Data Validation Projects

      • Dominik Hansen, David Schneider, Michael Leuschel
      Pages 167-182

    11. Generating Event-B Specifications from Algorithm Descriptions

      • Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
      Pages 183-197

    12. Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions

      • Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
      Pages 198-212

    13. How to Select the Suitable Formal Method for an Industrial Application: A Survey

      • Felix Kossak, Atif Mashkoor
      Pages 213-228

  4. Short Articles (Work in Progress)

    1. Front Matter

      Pages 229-229
      Download chapter PDF

    2. Unified Syntax for Abstract State Machines

      • Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke et al.
      Pages 231-236

    3. A Relational Encoding for a Clash-Free Subset of ASMs

      • Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
      Pages 237-243

    4. Towards an ASM Thesis for Reflective Sequential Algorithms

      • Flavio Ferrarotti, Loredana Tec, José María Turull Torres
      Pages 244-249
Back to top

Other volumes

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

Keywords

About this book

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.

Editors and Affiliations

  • University of Southampton, Southampton, United Kingdom

    Michael Butler

  • Software Competence Center, Hagenberg, Austria

    Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation