↓ Skip to main content
What is this page? Embed badge

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

Overview of attention for book
Cover of 'Abstract State Machines, Alloy, B, TLA, VDM, and Z'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
  3. Altmetric Badge
    Chapter 2 A Universal Control Construct for Abstract State Machines
  4. Altmetric Badge
    Chapter 3 Encoding TLA \(^{+}\) into Many-Sorted First-Order Logic
  5. Altmetric Badge
    Chapter 4 Proving Determinacy of the PharOS Real-Time Operating System
  6. Altmetric Badge
    Chapter 5 A Rigorous Correctness Proof for Pastry
  7. Altmetric Badge
    Chapter 6 Enabling Analysis for Event-B
  8. Altmetric Badge
    Chapter 7 A Compact Encoding of Sequential ASMs in Event-B
  9. Altmetric Badge
    Chapter 8 Proof Assisted Symbolic Model Checking for B and Event-B
  10. Altmetric Badge
    Chapter 9 On Component-Based Reuse for Event-B
  11. Altmetric Badge
    Chapter 10 Using B and ProB for Data Validation Projects
  12. Altmetric Badge
    Chapter 11 Generating Event-B Specifications from Algorithm Descriptions
  13. Altmetric Badge
    Chapter 12 Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions
  14. Altmetric Badge
    Chapter 13 How to Select the Suitable Formal Method for an Industrial Application: A Survey
  15. Altmetric Badge
    Chapter 14 Unified Syntax for Abstract State Machines
  16. Altmetric Badge
    Chapter 15 A Relational Encoding for a Clash-Free Subset of ASMs
  17. Altmetric Badge
    Chapter 16 Towards an ASM Thesis for Reflective Sequential Algorithms
  18. Altmetric Badge
    Chapter 17 A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications
  19. Altmetric Badge
    Chapter 18 Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy
  20. Altmetric Badge
    Chapter 19 ‘The Tinker’ for Rodin
  21. Altmetric Badge
    Chapter 20 A Graphical Tool for Event Refinement Structures in Event-B
  22. Altmetric Badge
    Chapter 21 Rodin Platform Why3 Plug-In
  23. Altmetric Badge
    Chapter 22 Semi-Automated Design Space Exploration for Formal Modelling
  24. Altmetric Badge
    Chapter 23 Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
  25. Altmetric Badge
    Chapter 24 UC-B: Use Case Modelling with Event-B
  26. Altmetric Badge
    Chapter 25 Interactive Model Repair by Synthesis
  27. Altmetric Badge
    Chapter 26 SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML
  28. Altmetric Badge
    Chapter 27 Mechanized Refinement of Communication Models with TLA \(^+\)
  29. Altmetric Badge
    Chapter 28 A Super Industrial Application of PSGraph
  30. Altmetric Badge
    Chapter 29 The Hemodialysis Machine Case Study
  31. Altmetric Badge
    Chapter 30 How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
  32. Altmetric Badge
    Chapter 31 Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
  33. Altmetric Badge
    Chapter 32 Hemodialysis Machine in Hybrid Event-B
  34. Altmetric Badge
    Chapter 33 Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods
  35. Altmetric Badge
    Chapter 34 Modelling the Haemodialysis Machine with Circus
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age
  • Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter
4 X users
facebook
1 Facebook page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
11 Mendeley
Summary X Facebook Dimensions citations

This page is provided by Altmetric.