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

Integrated Formal Methods

Overview of attention for book
Integrated Formal Methods
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verifying Autonomous Systems
  3. Altmetric Badge
    Chapter 2 Empowering the Event-B Method Using External Theories
  4. Altmetric Badge
    Chapter 3 Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
  5. Altmetric Badge
    Chapter 4 Formal Specification and Verification of JDK’s Identity Hash Map Implementation
  6. Altmetric Badge
    Chapter 5 Reusing Predicate Precision in Value Analysis
  7. Altmetric Badge
    Chapter 6 Certified Verification of Relational Properties
  8. Altmetric Badge
    Chapter 7 Reachability Analysis and Simulation for Hybridised Event-B Models
  9. Altmetric Badge
    Chapter 8 Operation Caching and State Compression for Model Checking of High-Level Models
  10. Altmetric Badge
    Chapter 9 Conservative Time Discretization: A Comparative Study
  11. Altmetric Badge
    Chapter 10 Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
  12. Altmetric Badge
    Chapter 11 Probabilistic Model Checking of BPMN Processes at Runtime
  13. Altmetric Badge
    Chapter 12 HyperPCTL Model Checking by Probabilistic Decomposition
  14. Altmetric Badge
    Chapter 13 Learning Finite State Models from Recurrent Neural Networks
  15. Altmetric Badge
    Chapter 14 Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
  16. Altmetric Badge
    Chapter 15 Verified Password Generation from Password Composition Policies
  17. Altmetric Badge
    Chapter 16 A Policy Language to Capture Compliance of Data Protection Requirements
  18. Altmetric Badge
    Chapter 17 Extending Data Flow Coverage to Test Constraint Refinements
  19. Altmetric Badge
    Chapter 18 Scalable Typestate Analysis for Low-Latency Environments
  20. Altmetric Badge
    Chapter 19 Studying Users’ Willingness to Use a Formally Verified Password Manager
  21. Altmetric Badge
    Chapter 20 Modeling Explanations in Autonomous Vehicles
  22. Altmetric Badge
    Chapter 21 A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller
  23. Altmetric Badge
    Chapter 22 A Dialogue Interface for Low Code Program Evolution
  24. Altmetric Badge
    Chapter 23 Simple Dependent Types for OSTRICH
  25. Altmetric Badge
    Chapter 24 SNITCH: A Platform for Information Flow Control
  26. Altmetric Badge
    Chapter 25 Machine-Assisted Proofs for Institutions in Coq
Attention for Chapter 3: Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Altmetric Badge

Mentioned by

twitter
2 X users

Readers on

mendeley
5 Mendeley