Formal Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Symbolic Computation in Automated Program Reasoning
3. Altmetric Badge
   Chapter 2 The Next Big Thing: From Embedded Systems to Embodied Actors
4. Altmetric Badge
   Chapter 3 Intelligent and Dependable Decision-Making Under Uncertainty
5. Altmetric Badge
   Chapter 4 A Coq Formalization of Lebesgue Induction Principle and Tonelli’s Theorem
6. Altmetric Badge
   Chapter 5 Railway Scheduling Using Boolean Satisfiability Modulo Simulations
7. Altmetric Badge
   Chapter 6 SMT Sampling via Model-Guided Approximation
8. Altmetric Badge
   Chapter 7 Efficient SMT-Based Network Fault Tolerance Verification
9. Altmetric Badge
   Chapter 9 Can We Communicate? Using Dynamic Logic to Verify Team Automata
10. Altmetric Badge
    Chapter 10 The ScalaFix Equation Solver
11. Altmetric Badge
    Chapter 11 HHLPy : Practical Verification of Hybrid Systems Using Hoare Logic
12. Altmetric Badge
    Chapter 12 symQV : Automated Symbolic Verification of Quantum Programs
13. Altmetric Badge
    Chapter 13 $$\textsf{PFL}$$ : A Probabilistic Logic for Fault Trees
14. Altmetric Badge
    Chapter 14 Energy Büchi Problems
15. Altmetric Badge
    Chapter 15 QMaude: Quantitative Specification and Verification in Rewriting Logic
16. Altmetric Badge
    Chapter 16 Minimisation of Spatial Models Using Branching Bisimilarity
17. Altmetric Badge
    Chapter 17 Reasoning About Promises in Weak Memory Models with Event Structures
18. Altmetric Badge
    Chapter 18 A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models
19. Altmetric Badge
    Chapter 19 VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs
20. Altmetric Badge
    Chapter 20 Verifying Functional Correctness Properties at the Level of Java Bytecode
21. Altmetric Badge
    Chapter 21 Abstract Alloy Instances
22. Altmetric Badge
    Chapter 22 Monitoring the Internet Computer
23. Altmetric Badge
    Chapter 23 Word Equations in Synergy with Regular Constraints
24. Altmetric Badge
    Chapter 24 Verifying Feedforward Neural Networks for Classification in Isabelle/HOL
25. Altmetric Badge
    Chapter 25 SMPT: A Testbed for Reachability Methods in Generalized Petri Nets
26. Altmetric Badge
    Chapter 26 The Octatope Abstract Domain for Verification of Neural Networks
27. Altmetric Badge
    Chapter 27 Program Semantics and Verification Technique for AI-Centred Programs
28. Altmetric Badge
    Chapter 28 Tableaux for Realizability of Safety Specifications
29. Altmetric Badge
    Chapter 29 A Decision Diagram Operation for Reachability
30. Altmetric Badge
    Chapter 30 Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
31. Altmetric Badge
    Chapter 31 A Runtime Environment for Contract Automata
32. Altmetric Badge
    Chapter 32 Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
33. Altmetric Badge
    Chapter 33 Shifting Left for Early Detection of Machine-Learning Bugs
34. Altmetric Badge
    Chapter 34 A Systematic Approach to Automotive Security
35. Altmetric Badge
    Chapter 35 Specification-Guided Critical Scenario Identification for Automated Driving
36. Altmetric Badge
    Chapter 36 Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
37. Altmetric Badge
    Chapter 37 Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
38. Altmetric Badge
    Chapter 38 veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System