![Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author:
Glässer, Uwe. editor.
ISBN:
9783031331633
Edition:
1st ed. 2023.
Physical Description:
XIII, 380 p. 131 illus., 107 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14010
Contents:
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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-33163-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521295-1001 | XX(521295.1) | Searching... | Searching... |