Skip to main content
SpringerLink
Log in
Book cover

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

4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Yamine Ait Ameur

    1. INP-ENSEEIHT/IRIT, Toulouse Cedex 7, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus-Dieter Schewe

    1. Software Competence Center Hagenberg, 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 8477)

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

Included in the following conference series:

Conference proceedings info: ABZ 2014.

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 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

    Download chapter PDF

  2. The Rodin Platform Has Turned Ten

    • Laurent Voisin, Jean-Raymond Abrial
    Pages 1-8

  3. Development of a Verified Flash File System

    • Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
    Pages 9-24

  4. Why Amazon Chose TLA +

    • Chris Newcombe
    Pages 25-39

  5. Translating B to TLA +  for Validation with TLC

    • Dominik Hansen, Michael Leuschel
    Pages 40-55

  6. αRby—An Embedding of Alloy in Ruby

    • Aleksandar Milicevic, Ido Efrati, Daniel Jackson
    Pages 56-71

  7. MAZE: An Extension of Object-Z for Multi-Agent Systems

    • Graeme Smith, Qin Li
    Pages 72-85

  8. Quasi-Lexicographic Convergence

    • Stefan Hallerstede
    Pages 86-100

  9. Towards B as a High-Level Constraint Modelling Language

    • Michael Leuschel, David Schneider
    Pages 101-116

  10. Analysis of Self-⋆ and P2P Systems Using Refinement

    • Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
    Pages 117-123

  11. B Formal Validation of ERTMS/ETCS Railway Operating Rules

    • Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
    Pages 124-129

  12. Modelling Energy Consumption in Embedded Systems with VDM-RT

    • José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus BallegÃ¥rd Nielsen, Stefan Hallerstede
    Pages 130-135

  13. Sealed Containers in Z

    • Eerke Boiten, Jeremy Jacob
    Pages 136-141

  14. Specifying Transaction Control to Serialize Concurrent Program Executions

    • Egon Börger, Klaus-Dieter Schewe
    Pages 142-157

  15. Distributed Situation Analysis

    • Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn
    Pages 158-173

  16. Introducing Aspect–Oriented Specification for Abstract State Machines

    • Marcel Dausend, Alexander Raschke
    Pages 174-187

  17. Modular Refinement for Submachines of ASMs

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

  18. Towards ASM-Based Formal Specification of Self-Adaptive Systems

    • Elvinia Riccobene, Patrizia Scandurra
    Pages 204-209

  19. Distributed ASM - Pitfalls and Solutions

    • Andreas Prinz, Edel Sherratt
    Pages 210-215

  20. WebASM: An Abstract State Machine Execution Environment for the Web

    • Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani
    Pages 216-221
Back to top

Other volumes

  1. ABZ 2014: The Landing Gear Case Study

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

Keywords

About this book

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.

Editors and Affiliations

  • INP-ENSEEIHT/IRIT, Toulouse Cedex 7, France

    Yamine Ait Ameur

  • Software Competence Center Hagenberg, Hagenberg, Austria

    Klaus-Dieter Schewe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation