Skip to main content

Rigorous State-Based Methods

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

  • Conference proceedings
  • © 2023


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

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. Invited Papers

  2. Selected Papers for Presentation and Publication

Other volumes

  1. Rigorous State-Based Methods


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:

  • 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