Skip to main content
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 2018

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. Alexander Raschke

    1. Universität Ulm, Ulm, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thai Son Hoang

    1. University of Southampton, Southampton, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Klaus Reichl

    1. Thales Austria GmbH, Vienna, 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 10817)

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

Included in the following conference series:

Conference proceedings info: ABZ 2018.

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 (35 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. ABZ Languages and Tools in Industrial-Scale Application

      • Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson
      Pages 3-15

    3. Distributed Adaptive Systems

      • Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
      Pages 16-30

    4. On B and Event-B: Principles, Success and Challenges

      • Jean-Raymond Abrial
      Pages 31-35

  3. Translation and Transformation

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation

      • Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
      Pages 39-54

    3. Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications

      • Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
      Pages 55-70

    4. A Translation from Alloy to B

      • Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
      Pages 71-86

  4. Analysis and Tests

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Extracting Symbolic Transitions from TLA\(^{+}\) Specifications

      • Jure Kukovec, Thanh-Hai Tran, Igor Konnov
      Pages 89-104

    3. Systematic Generation of Non-equivalent Expressions for Relational Algebra

      • Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
      Pages 105-120

    4. Solver-Based Sketching of Alloy Models Using Test Valuations

      • Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
      Pages 121-136

  5. Reals and Hybrid Systems

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. Abstract State Machines with Exact Real Arithmetic

      • Christoph Beierle, Klaus-Dieter Schewe
      Pages 139-154

    3. Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B

      • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
      Pages 155-170

    4. Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

      • Richard Banach
      Pages 171-186

  6. Refinement

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Clarification of Ambiguity for the Simple Authentication and Security Layer

      • Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
      Pages 189-203

    3. Systematic Refinement of Abstract State Machines with Higher-Order Logic

      • Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José María Turull-Torres
      Pages 204-218
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 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.

Editors and Affiliations

  • University of Southampton, Southampton, United Kingdom

    Michael Butler, Thai Son Hoang

  • Universität Ulm, Ulm, Germany

    Alexander Raschke

  • Thales Austria GmbH, Vienna, Austria

    Klaus Reichl

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation