Abstract State Machines, Alloy, B, TLA, VDM, and Z

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 ABZ Languages and Tools in Industrial-Scale Application
3. Altmetric Badge
   Chapter 2 Distributed Adaptive Systems
4. Altmetric Badge
   Chapter 3 On B and Event-B: Principles, Success and Challenges
5. Altmetric Badge
   Chapter 4 CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
6. Altmetric Badge
   Chapter 5 Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications
7. Altmetric Badge
   Chapter 6 A Translation from Alloy to B
8. Altmetric Badge
   Chapter 7 Extracting Symbolic Transitions from TLA $$^{+}$$ + Specifications
9. Altmetric Badge
   Chapter 8 Systematic Generation of Non-equivalent Expressions for Relational Algebra
10. Altmetric Badge
    Chapter 9 Solver-Based Sketching of Alloy Models Using Test Valuations
11. Altmetric Badge
    Chapter 10 Abstract State Machines with Exact Real Arithmetic
12. Altmetric Badge
    Chapter 11 Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
13. Altmetric Badge
    Chapter 12 Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem
14. Altmetric Badge
    Chapter 13 Clarification of Ambiguity for the Simple Authentication and Security Layer
15. Altmetric Badge
    Chapter 14 Systematic Refinement of Abstract State Machines with Higher-Order Logic
16. Altmetric Badge
    Chapter 15 Refinement of Timing Constraints for Concurrent Tasks with Scheduling
17. Altmetric Badge
    Chapter 16 Verifiable Code Generation from Scheduled Event-B Models
18. Altmetric Badge
    Chapter 17 The Hybrid ERTMS/ETCS Level 3 Case Study
19. Altmetric Badge
    Chapter 18 Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach
20. Altmetric Badge
    Chapter 19 Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in S pin
21. Altmetric Badge
    Chapter 20 Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
22. Altmetric Badge
    Chapter 21 Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
23. Altmetric Badge
    Chapter 22 The ABZ-2018 Case Study with Event-B
24. Altmetric Badge
    Chapter 23 Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
25. Altmetric Badge
    Chapter 24 An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
26. Altmetric Badge
    Chapter 25 AsmetaA: Animator for Abstract State Machines
27. Altmetric Badge
    Chapter 26 Formal Specification of the Semantics of Control State Diagrams
28. Altmetric Badge
    Chapter 27 Capturing Membrane Computing by ASMs
29. Altmetric Badge
    Chapter 28 Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B
30. Altmetric Badge
    Chapter 29 State-Based Formal Methods in Scientific Computation
31. Altmetric Badge
    Chapter 30 Proposition of an Action Layer for Electrum
32. Altmetric Badge
    Chapter 31 Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
33. Altmetric Badge
    Chapter 32 An Automation-Friendly Set Theory for the B Method
34. Altmetric Badge
    Chapter 33 Teaching an Old Dog New Tricks
35. Altmetric Badge
    Chapter 34 Modelling Dynamic Data Structures with the B Method
36. Altmetric Badge
    Chapter 35 On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B