NASA Formal Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Incremental Construction of Realizable Choreographies
3. Altmetric Badge
   Chapter 2 Formal Assurance for Cooperative Intelligent Autonomous Agents
4. Altmetric Badge
   Chapter 3 Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C
5. Altmetric Badge
   Chapter 4 An Executable Formal Framework for Safety-Critical Human Multitasking
6. Altmetric Badge
   Chapter 5 Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
7. Altmetric Badge
   Chapter 6 Don’t Miss the End: Preventing Unsafe End-of-File Comparisons
8. Altmetric Badge
   Chapter 7 An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems
9. Altmetric Badge
   Chapter 8 Verification of Fault-Tolerant Protocols with Sally
10. Altmetric Badge
    Chapter 9 Output Range Analysis for Deep Feedforward Neural Networks
11. Altmetric Badge
    Chapter 10 Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking
12. Altmetric Badge
    Chapter 11 Twenty Percent and a Few Days – Optimising a Bitcoin Majority Attack
13. Altmetric Badge
    Chapter 12 An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis
14. Altmetric Badge
    Chapter 13 Towards a Formal Safety Framework for Trajectories
15. Altmetric Badge
    Chapter 14 Static Value Analysis of Python Programs by Abstract Interpretation
16. Altmetric Badge
    Chapter 15 Model-Based Testing for General Stochastic Time
17. Altmetric Badge
    Chapter 16 Strategy Synthesis for Autonomous Agents Using PRISM
18. Altmetric Badge
    Chapter 17 The Use of Automated Theory Formation in Support of Hazard Analysis
19. Altmetric Badge
    Chapter 18 Distributed Model Checking Using ProB
20. Altmetric Badge
    Chapter 19 Optimal Storage of Combinatorial State Spaces
21. Altmetric Badge
    Chapter 20 Stubborn Transaction Reduction
22. Altmetric Badge
    Chapter 21 Certified Foata Normalization for Generalized Traces
23. Altmetric Badge
    Chapter 22 On the Timed Analysis of Big-Data Applications
24. Altmetric Badge
    Chapter 23 Tuning Permissiveness of Active Safety Monitors for Autonomous Systems
25. Altmetric Badge
    Chapter 24 Sound Black-Box Checking in the LearnLib
26. Altmetric Badge
    Chapter 25 Model-Checking Task Parallel Programs for Data-Race
27. Altmetric Badge
    Chapter 26 Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
28. Altmetric Badge
    Chapter 27 Automatic Generation of DO-178 Test Procedures
29. Altmetric Badge
    Chapter 28 Using Test Ranges to Improve Symbolic Execution
30. Altmetric Badge
    Chapter 29 Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion
31. Altmetric Badge
    Chapter 30 Experience Report: Application of Falsification Methods on the UxAS System
32. Altmetric Badge
    Chapter 31 MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems