Rigorous State-Based Methods [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque.
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 incl...
Saved in:
Full text |
|
Personal Name(s): | Creissac Campos, Jose, editor |
Glässer, Uwe, editor / Méry, Dominique, editor / Palanque, Philippe, editor | |
Edition: |
1st edition 2023. |
Imprint: |
Cham :
Springer,
2023
|
Physical Description: |
XIII, 380 pages 131 illustrations, 107 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783031331633 |
DOI: |
10.1007/978-3-031-33163-3 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
14010 |
Subject (LOC): |
LEADER | 03602nam a22004095i 4500 | ||
---|---|---|---|
001 | 978-3-031-33163-3 | ||
003 | Springer | ||
008 | 230514s2023 sz | s |||| 0|eng d | ||
020 | |a 9783031331633 | ||
024 | 7 | |a 10.1007/978-3-031-33163-3 |2 doi | |
035 | |a (Sirsi) a872087 | ||
041 | |a eng | ||
082 | 0 | 4 | |a 005.131 |2 23 |
245 | 1 | 0 | |a Rigorous State-Based Methods |h [E-Book] : |b 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / |c edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque. |
250 | |a 1st edition 2023. | ||
264 | 1 | |a Cham : |b Springer, |c 2023 |e (Springer LINK) |f SpringerLectureNotes20230711 | |
300 | |a XIII, 380 pages 131 illustrations, 107 illustrations in color (online resource) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | |a Lecture Notes in Computer Science ; |v 14010 | ||
500 | |a englisch | ||
505 | 0 | |a Pattern-based Refinemnt Generation Through Domain Specifi Languages -- Inductive Construction in B with the Theory Plugin -- Validation of Formal Models by Interactive Simulation -- Thread-Local, Step-Local Proof Obligations for Refnement of State-Based Concurrent Systems -- Encoding TLA+ Proof Obligations Safely for SMT -- Compositional I/O Abstract State Machines -- Crucible Tools for Test Generation and Animation of Alloy Models -- Modelling an Automotive Software System with TASTD -- TASTD a real-time extension for ASTD -- Validation by Abstraction and Refiement -- Verifying Event-B Hybrid Models using Cyclone -- Exploration of Reflectie ASMs for Security -- Standalone Event-B models analysis relying on the EB4EB meta-theory -- Adding records to Alloy -- Designing Secure Systems using Hierarchical STPA and Event-B -- Behavioural Theory of Reflectie Algorithms -- Specification in the Event-B Institution -- Verifying temporal relational models with Pardinus -- AMAN Case Study -- Analysis of a Safety-critical Interactive System through VOs -- Task Model Design and Analysis with Alloy -- Modeling and Verifying an Arrival Manager using Event-B -- Formal MVC: a Pattern for the Integration of ASM Specification in UI Development -- Exploring a methodology for formal verificatio of safety-critical systems -- Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems -- A framework for formal verificatio and validation of railway systems -- Reconstruction of TLAPS proofs solved by veriT in Lambdapi. | |
520 | |a 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. . | ||
650 | 0 | |a Machine theory. | |
700 | 1 | |a Creissac Campos, Jose, |e editor | |
700 | 1 | |a Glässer, Uwe, |e editor | |
700 | 1 | |a Méry, Dominique, |e editor | |
700 | 1 | |a Palanque, Philippe, |e editor | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-33163-3 |z Volltext |
908 | |a Konferenz | ||
915 | |a zzwFZJ3 | ||
932 | |a Computer Science (R0) (SpringerNature-43710) | ||
932 | |a Computer Science (SpringerNature-11645) | ||
596 | |a 1 | ||
949 | |a XX(872087.1) |w AUTO |c 1 |i 872087-1001 |l ELECTRONIC |m ZB |r N |s Y |t E-BOOK |u 11/7/2023 |x ZB-D |z UNKNOWN |0 NEL |1 ONLINE |2 KONFERENZ |