↓ Skip to main content

FM 2015: Formal Methods

Overview of attention for book
Cover of 'FM 2015: Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Resource Analysis: From Sequential to Concurrent and Distributed Programs
  3. Altmetric Badge
    Chapter 2 AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned
  4. Altmetric Badge
    Chapter 3 Automated Circular Assume-Guarantee Reasoning
  5. Altmetric Badge
    Chapter 4 Towards Formal Verification of Orchestration Computations Using the {\mathbb K} Framework
  6. Altmetric Badge
    Chapter 5 Narrowing Operators on Template Abstract Domains
  7. Altmetric Badge
    Chapter 6 Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification
  8. Altmetric Badge
    Chapter 7 Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures
  9. Altmetric Badge
    Chapter 8 A Specification Language for Static and Runtime Verification of Data and Control Properties
  10. Altmetric Badge
    Chapter 9 Certificates for Parameterized Model Checking
  11. Altmetric Badge
    Chapter 10 Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
  12. Altmetric Badge
    Chapter 11 Verifying Opacity of a Transactional Mutex Lock
  13. Altmetric Badge
    Chapter 12 A Framework for Correctness Criteria on Weak Memory Models
  14. Altmetric Badge
    Chapter 13 Semantics-Preserving Simplification of Real-World Firewall Rule Sets
  15. Altmetric Badge
    Chapter 14 Parameter Synthesis Through Temporal Logic Specifications
  16. Altmetric Badge
    Chapter 15 Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
  17. Altmetric Badge
    Chapter 16 Probabilistic Bisimulation for Realistic Schedulers
  18. Altmetric Badge
    Chapter 17 QPMC: A Model Checker for Quantum Programs and Protocols
  19. Altmetric Badge
    Chapter 18 Automated Verification of RPC Stub Code
  20. Altmetric Badge
    Chapter 19 Property-Driven Fence Insertion Using Reorder Bounded Model Checking
  21. Altmetric Badge
    Chapter 20 Verifying the Safety of a Flight-Critical System
  22. Altmetric Badge
    Chapter 21 Proving Safety with Trace Automata and Bounded Model Checking
  23. Altmetric Badge
    Chapter 22 Verifying Parameterized Timed Security Protocols
  24. Altmetric Badge
    Chapter 23 Abstraction of Elementary Hybrid Systems by Variable Transformation
  25. Altmetric Badge
    Chapter 24 Using Real-Time Maude to Model Check Energy Consumption Behavior
  26. Altmetric Badge
    Chapter 25 Static Differential Program Analysis for Software-Defined Networks
  27. Altmetric Badge
    Chapter 26 A Fully Verified Container Library
  28. Altmetric Badge
    Chapter 27 Counterexamples for Expected Rewards
  29. Altmetric Badge
    Chapter 28 The Semantics of Cardinality-Based Feature Models via Formal Languages
  30. Altmetric Badge
    Chapter 29 Axiomatization of Typed First-Order Logic
  31. Altmetric Badge
    Chapter 30 Model-Based Problem Solving for University Timetable Validation and Improvement
  32. Altmetric Badge
    Chapter 31 Certified Reasoning with Infinity
  33. Altmetric Badge
    Chapter 32 Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
  34. Altmetric Badge
    Chapter 33 Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
  35. Altmetric Badge
    Chapter 34 Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
  36. Altmetric Badge
    Chapter 35 Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking
  37. Altmetric Badge
    Chapter 36 Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
  38. Altmetric Badge
    Chapter 37 Software Development and Authentication for Arms Control Information Barriers
  39. Altmetric Badge
    Chapter 38 Analyzing the Restart Behavior of Industrial Control Applications
  40. Altmetric Badge
    Chapter 39 Case Study: Static Security Analysis of the Android Goldfish Kernel
  41. Altmetric Badge
    Chapter 40 Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware
  42. Altmetric Badge
    Chapter 41 Formal Virtual Modelling and Data Verification for Supervision Systems
  43. Altmetric Badge
    Chapter 42 Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests
  44. Altmetric Badge
    Chapter 43 Formalizing the Concept Phase of Product Development
Attention for Chapter 37: Software Development and Authentication for Arms Control Information Barriers
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
1 Mendeley