Skip to main content
SpringerLink
Log in

Rigorous State-Based Methods

9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Uwe Glässer

    1. Simon Fraser University, Burnaby, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jose Creissac Campos

    1. University of Minho, Braga, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dominique Méry

    1. Université de Lorraine, Vandoeuvre-lès-Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Philippe Palanque

    1. University of Toulouse, Toulouse, 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 14010)

Included in the following conference series:

Conference proceedings info: ABZ 2023.

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

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Refinements of Hybrid Dynamical Systems Logic

      • André Platzer
      Pages 3-14

    3. Using Deep Ontologies in Formal Software Engineering

      • Achim D. Brucker, Idir Ait-Sadoune, Nicolas Méric, Burkhart Wolff
      Pages 15-32

  3. Selected Papers for Presentation and Publication

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Pattern-Based Refinement Generation Through Domain Specific Languages

      • Elie Fares, Paul Jean Bodeveix, Mamoun Filali
      Pages 35-42

    3. Introducing Inductive Construction in B with the Theory Plugin

      • Julien Cervelle, Frédéric Gervais
      Pages 43-58

    4. Validation of Formal Models by Interactive Simulation

      • Fabian Vu, Michael Leuschel
      Pages 59-69

    5. Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems

      • Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
      Pages 70-87

    6. Encoding \(\textrm{TLA}^{+}\) Proof Obligations Safely for SMT

      • Rosalie Defourné
      Pages 88-106

    7. Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines

      • Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
      Pages 107-115

    8. Crucible Tools for Test Generation and Animation of Alloy Models

      • Thomas Wilson, Stuart Matthews
      Pages 116-123

    9. Modelling an Automotive Software System with TASTD

      • Diego de Azevedo Oliveira, Marc Frappier
      Pages 124-141

    10. TASTD: A Real-Time Extension for ASTD

      • Diego de Azevedo Oliveira, Marc Frappier
      Pages 142-159

    11. Validation by Abstraction and Refinement

      • Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
      Pages 160-178

    12. Verifying Event-B Hybrid Models Using Cyclone

      • Hao Wu, Zheng Cheng
      Pages 179-184

    13. Exploration of Reflective ASMs for Security

      • Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe
      Pages 185-192

    14. Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory

      • P. Rivière, N. K. Singh, Y. Aït-Ameur, G. Dupont
      Pages 193-211

    15. Adding Records to Alloy

      • Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
      Pages 212-219

    16. Designing Critical Systems Using Hierarchical STPA and Event-B

      • Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael Butler
      Pages 220-237
Back to top

Other volumes

  1. Rigorous State-Based Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. 

The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 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

  • Simon Fraser University, Burnaby, Canada

    Uwe Glässer

  • University of Minho, Braga, Portugal

    Jose Creissac Campos

  • Université de Lorraine, Vandoeuvre-lès-Nancy, France

    Dominique Méry

  • University of Toulouse, Toulouse, France

    Philippe Palanque

Bibliographic Information

  • Book Title: Rigorous State-Based Methods

  • Book Subtitle: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

  • Editors: Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-33163-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-33162-6Published: 15 May 2023

  • eBook ISBN: 978-3-031-33163-3Published: 14 May 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 380

  • Number of Illustrations: 24 b/w illustrations, 107 illustrations in colour

  • Topics: Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation