Formal Methods and Software Engineering

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems
3. Altmetric Badge
   Chapter 2 Using DimSpec for Bounded and Unbounded Software Model Checking
4. Altmetric Badge
   Chapter 3 SMTBCF : Efficient Backbone Computing for SMT Formulas
5. Altmetric Badge
   Chapter 4 Automatic Verification for Node-Based Visual Script Notation Using Model Checking
6. Altmetric Badge
   Chapter 5 A Reo Model of Software Defined Networks
7. Altmetric Badge
   Chapter 6 Design of Point-and-Click User Interfaces for Proof Assistants
8. Altmetric Badge
   Chapter 7 SqlSol: An accurate SQL Query Synthesizer
9. Altmetric Badge
   Chapter 8 Towards Verifying Ethereum Smart Contracts at Intermediate Language Level
10. Altmetric Badge
    Chapter 9 Simulations for Multi-Agent Systems with Imperfect Information
11. Altmetric Badge
    Chapter 10 On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
12. Altmetric Badge
    Chapter 11 A Security Calculus for Wireless Networks of Named Data Networking
13. Altmetric Badge
    Chapter 12 Automatic Modularization of Large Programs for Bounded Model Checking
14. Altmetric Badge
    Chapter 13 PDNet: A Programming Language for Software-Defined Networks with VLAN
15. Altmetric Badge
    Chapter 14 Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines
16. Altmetric Badge
    Chapter 15 Probably Approximate Safety Verification of Hybrid Dynamical Systems
17. Altmetric Badge
    Chapter 16 A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
18. Altmetric Badge
    Chapter 17 Reasoning About Universal Cubes in MCMT
19. Altmetric Badge
    Chapter 18 sCompile: Critical Path Identification and Analysis for Smart Contracts
20. Altmetric Badge
    Chapter 19 A Mechanized Theory of Program Refinement
21. Altmetric Badge
    Chapter 20 A Relational Static Semantics for Call Graph Construction
22. Altmetric Badge
    Chapter 21 Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method
23. Altmetric Badge
    Chapter 22 Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
24. Altmetric Badge
    Chapter 23 Combining Parallel Emptiness Checks with Partial Order Reductions
25. Altmetric Badge
    Chapter 24 A Coalgebraic Semantics Framework for Quantum Systems
26. Altmetric Badge
    Chapter 25 Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation
27. Altmetric Badge
    Chapter 26 An Axiomatisation of the Probabilistic $$\mu $$ -Calculus
28. Altmetric Badge
    Chapter 27 Synthesizing Nested Ranking Functions for Loop Programs via SVM
29. Altmetric Badge
    Chapter 28 A First Step in the Translation of Alloy to Coq
30. Altmetric Badge
    Chapter 29 Assessment of a Formal Requirements Modeling Approach on a Transportation System
31. Altmetric Badge
    Chapter 30 Design Model Repair with Formal Verification
32. Altmetric Badge
    Chapter 31 A Performance-Sensitive Malware Detection System on Mobile Platform
33. Altmetric Badge
    Chapter 32 Certifying Hardware Model Checking Results
34. Altmetric Badge
    Chapter 33 A Note on Failure Mode Reasoning
35. Altmetric Badge
    Chapter 34 Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches
36. Altmetric Badge
    Chapter 35 Formal Specification and Verification of Smart Contracts
37. Altmetric Badge
    Chapter 36 Spatio-Temporal Specification Language for Cyber-Physical Systems
38. Altmetric Badge
    Chapter 37 A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning