Rigorous State-Based Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Formal Methods and Tools Applied in the Railway Domain
3. Altmetric Badge
   Chapter 2 Formal Modeling and Analysis of Apache Kafka in Alloy 6
4. Altmetric Badge
   Chapter 3 Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems
5. Altmetric Badge
   Chapter 4 Alloy Goes Fuzzy
6. Altmetric Badge
   Chapter 5 Transpilation of Petri-nets into B
7. Altmetric Badge
   Chapter 6 A Lean Reflective Abstract State Machine Definition
8. Altmetric Badge
   Chapter 7 Loose Observation in Event-B
9. Altmetric Badge
   Chapter 8 Modal Extensions of the Logic of Abstract State Machines
10. Altmetric Badge
    Chapter 9 An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
11. Altmetric Badge
    Chapter 10 From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
12. Altmetric Badge
    Chapter 11 An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
13. Altmetric Badge
    Chapter 12 Property Ownership Formal Modelling Using Event-B and iUML-B
14. Altmetric Badge
    Chapter 13 A Modeling and Verification Framework for Ethereum Smart Contracts
15. Altmetric Badge
    Chapter 14 Semantics Formalisation – From Event-B Contexts to Theories
16. Altmetric Badge
    Chapter 15 Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines
17. Altmetric Badge
    Chapter 16 Multi-model Animation with JeB
18. Altmetric Badge
    Chapter 17 Meta-programming Event-B
19. Altmetric Badge
    Chapter 18 Event-B as DSL in Isabelle and HOL Experiences from a Prototype
20. Altmetric Badge
    Chapter 19 ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq
21. Altmetric Badge
    Chapter 20 Verifying HyperLTL Properties in Event-B
22. Altmetric Badge
    Chapter 21 Small Step Incremental Verification of Compilers
23. Altmetric Badge
    Chapter 22 Designing Exception Handling Using Event-B
24. Altmetric Badge
    Chapter 23 The Mechanical Lung Ventilator Case Study
25. Altmetric Badge
    Chapter 24 Real-Time CCSL: Application to the Mechanical Lung Ventilator
26. Altmetric Badge
    Chapter 25 An Event-B Model of a Mechanical Lung Ventilator
27. Altmetric Badge
    Chapter 26 Modelling a Mechanical Lung Ventilation System Using TASTD
28. Altmetric Badge
    Chapter 27 Modelling and Analysing a Mechanical Lung Ventilator in mCRL2
29. Altmetric Badge
    Chapter 28 FRETting and Formal Modelling: A Mechanical Lung Ventilator
30. Altmetric Badge
    Chapter 29 From Event-B to Lambdapi
31. Altmetric Badge
    Chapter 30 Proof Construction and Checking on Evolving Abstract State Machines