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

Rigorous State-Based Methods

Overview of attention for book
Cover of 'Rigorous State-Based Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Refinements of Hybrid Dynamical Systems Logic
  3. Altmetric Badge
    Chapter 2 Using Deep Ontologies in Formal Software Engineering
  4. Altmetric Badge
    Chapter 3 Pattern-Based Refinement Generation Through Domain Specific Languages
  5. Altmetric Badge
    Chapter 4 Introducing Inductive Construction in B with the Theory Plugin
  6. Altmetric Badge
    Chapter 5 Validation of Formal Models by Interactive Simulation
  7. Altmetric Badge
    Chapter 6 Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems
  8. Altmetric Badge
    Chapter 7 Encoding $$\textrm{TLA}^{+}$$ Proof Obligations Safely for SMT
  9. Altmetric Badge
    Chapter 8 Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
  10. Altmetric Badge
    Chapter 9 Crucible Tools for Test Generation and Animation of Alloy Models
  11. Altmetric Badge
    Chapter 10 Modelling an Automotive Software System with TASTD
  12. Altmetric Badge
    Chapter 11 TASTD: A Real-Time Extension for ASTD
  13. Altmetric Badge
    Chapter 12 Validation by Abstraction and Refinement
  14. Altmetric Badge
    Chapter 13 Verifying Event-B Hybrid Models Using Cyclone
  15. Altmetric Badge
    Chapter 14 Exploration of Reflective ASMs for Security
  16. Altmetric Badge
    Chapter 15 Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory
  17. Altmetric Badge
    Chapter 16 Adding Records to Alloy
  18. Altmetric Badge
    Chapter 17 Designing Critical Systems Using Hierarchical STPA and Event-B
  19. Altmetric Badge
    Chapter 18 Behavioural Theory of Reflective Algorithms
  20. Altmetric Badge
    Chapter 19 Building Specifications in the Event-B Institution: A Summary
  21. Altmetric Badge
    Chapter 20 Verifying Temporal Relational Models with Pardinus
  22. Altmetric Badge
    Chapter 21 AMAN Case Study
  23. Altmetric Badge
    Chapter 22 Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
  24. Altmetric Badge
    Chapter 23 Task Model Design and Analysis with Alloy
  25. Altmetric Badge
    Chapter 24 Modeling and Verifying an Arrival Manager Using Event-B
  26. Altmetric Badge
    Chapter 25 formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
  27. Altmetric Badge
    Chapter 26 Exploring a Methodology for Formal Verification of Safety-Critical Systems
  28. Altmetric Badge
    Chapter 27 Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems
  29. Altmetric Badge
    Chapter 28 A Framework for Formal Verification and Validation of Railway Systems
  30. Altmetric Badge
    Chapter 29 Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Rigorous State-Based Methods
Published by
Springer Nature Switzerland, June 2023
DOI 10.1007/978-3-031-33163-3
ISBNs
978-3-03-133162-6, 978-3-03-133163-3
Editors

Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.