Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14010)
Included in the following conference series:
Conference proceedings info: ABZ 2023.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (29 papers)
-
Selected Papers for Presentation and Publication
-
The ABZ 2023 Case Study
-
Doctoral Symposium
Other volumes
-
Rigorous State-Based Methods
Editors and Affiliations
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