Skip to main content
SpringerLink
Log in

Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Alexander Raschke

    1. Ulm University, Ulm, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dominique Méry

    1. University of Lorraine, Vandœuvre-lès-Nancy, France

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

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

Included in the following conference series:

Conference proceedings info: ABZ 2021.

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 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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 (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Regular Research Articles

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams

      • Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe
      Pages 3-16

    3. Towards ASM-Based Automated Formal Verification of Security Protocols

      • Chiara Braghin, Mario Lilli, Elvinia Riccobene
      Pages 17-33

    4. Verifying System-Level Security of a Smart Ballot Box

      • Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone
      Pages 34-49

    5. Proving the Safety of a Sliding Window Protocol with Event-B

      • Sophie Coudert
      Pages 50-65

    6. Event-B Formalization of Event-B Contexts

      • Jean-Paul Bodeveix, Mamoun Filali
      Pages 66-80

    7. Validation of Formal Models by Timed Probabilistic Simulation

      • Fabian Vu, Michael Leuschel, Atif Mashkoor
      Pages 81-96

  3. Short Articles

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Sterling: A Web-Based Visualizer for Relational Modeling Languages

      • Tristan Dyer, John Baugh
      Pages 99-104

    3. Extending ASMETA with Time Features

      • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
      Pages 105-111

    4. About the Concolic Execution and Symbolic ASM Function Promotion in CASM

      • Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun
      Pages 112-117

    5. Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection

      • Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe
      Pages 118-123

    6. The CamilleX Framework for the Rodin Platform

      • Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael Butler
      Pages 124-129

    7. Extensible Record Structures in Event-B

      • Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler
      Pages 130-136

    8. Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B

      • Robert Eschbach
      Pages 137-142

    9. Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application

      • Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq
      Pages 143-149

  4. Short Articles of the PhD-Symposium (Work in Progress)

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Formal Meta Engineering Event-B: Extension and Reasoning The \( EB4EB \) Framework

      • Peter Riviere
      Pages 153-157

    3. A Modeling and Verification Framework for Security Protocols

      • Mario Lilli
      Pages 158-161
Back to top

Other volumes

  1. Rigorous State-Based Methods

Keywords

About this book

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. 

The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 

Editors and Affiliations

  • Ulm University, Ulm, Germany

    Alexander Raschke

  • University of Lorraine, Vandœuvre-lès-Nancy, France

    Dominique Méry

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation