↓ Skip to main content

Formal Methods

Overview of attention for book
Cover of 'Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Processing Text for Privacy: An Information Flow Perspective
  3. Altmetric Badge
    Chapter 2 20 Years of Real Real Time Model Validation
  4. Altmetric Badge
    Chapter 3 Deadlock Detection for Actor-Based Coroutines
  5. Altmetric Badge
    Chapter 4 An Algebraic Approach for Reasoning About Information Flow
  6. Altmetric Badge
    Chapter 5 Towards ‘Verifying’ a Water Treatment System
  7. Altmetric Badge
    Chapter 6 FSM Inference from Long Traces
  8. Altmetric Badge
    Chapter 7 A Weakness Measure for GR(1) Formulae
  9. Altmetric Badge
    Chapter 8 Producing Explanations for Rich Logics
  10. Altmetric Badge
    Chapter 9 The Compound Interest in Relaxing Punctuality
  11. Altmetric Badge
    Chapter 10 IPL: An Integration Property Language for Multi-model Cyber-physical Systems
  12. Altmetric Badge
    Chapter 11 Timed Epistemic Knowledge Bases for Social Networks
  13. Altmetric Badge
    Chapter 12 Optimal and Robust Controller Synthesis
  14. Altmetric Badge
    Chapter 13 Encoding Fairness in a Synchronous Concurrent Program Algebra
  15. Altmetric Badge
    Chapter 14 A Wide-Spectrum Language for Verification of Programs on Weak Memory Models
  16. Altmetric Badge
    Chapter 15 Operational Semantics of a Weak Memory Model with Channel Synchronization
  17. Altmetric Badge
    Chapter 16 Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE
  18. Altmetric Badge
    Chapter 17 Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods
  19. Altmetric Badge
    Chapter 18 Verifying Auto-generated C Code from Simulink
  20. Altmetric Badge
    Chapter 19 QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
  21. Altmetric Badge
    Chapter 20 Modular Verification of Programs with Effects and Effect Handlers in Coq
  22. Altmetric Badge
    Chapter 21 Combining Tools for Optimization and Analysis of Floating-Point Computations
  23. Altmetric Badge
    Chapter 22 A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm
  24. Altmetric Badge
    Chapter 23 Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations
  25. Altmetric Badge
    Chapter 24 Multi-robot LTL Planning Under Uncertainty
  26. Altmetric Badge
    Chapter 25 Vector Barrier Certificates and Comparison Systems
  27. Altmetric Badge
    Chapter 26 Timed Vacuity
  28. Altmetric Badge
    Chapter 27 Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
  29. Altmetric Badge
    Chapter 28 Dynamic Symbolic Verification of MPI Programs
  30. Altmetric Badge
    Chapter 29 To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation
  31. Altmetric Badge
    Chapter 30 View Abstraction for Systems with Component Identities
  32. Altmetric Badge
    Chapter 31 Compositional Reasoning for Shared-Variable Concurrent Programs
  33. Altmetric Badge
    Chapter 32 Statistical Model Checking of LLVM Code
  34. Altmetric Badge
    Chapter 33 SDN-Actors: Modeling and Verification of SDN Programs
  35. Altmetric Badge
    Chapter 34 CompoSAT: Specification-Guided Coverage for Model Finding
  36. Altmetric Badge
    Chapter 35 Approximate Partial Order Reduction
  37. Altmetric Badge
    Chapter 36 A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks
  38. Altmetric Badge
    Chapter 37 Formal Specification and Verification of Dynamic Parametrized Architectures
  39. Altmetric Badge
    Chapter 38 From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems
  40. Altmetric Badge
    Chapter 39 Interlocking Design Automation Using Prover Trident
  41. Altmetric Badge
    Chapter 40 Model-Based Testing for Avionics Systems
  42. Altmetric Badge
    Chapter 41 On Software Safety, Security, and Abstract Interpretation
  43. Altmetric Badge
    Chapter 42 Variant Analysis with QL
  44. Altmetric Badge
    Chapter 43 Object-Oriented Security Proofs
  45. Altmetric Badge
    Chapter 44 Z3 and SMT in Industrial R&D
  46. Altmetric Badge
    Chapter 45 Evidential and Continuous Integration of Software Verification Tools
  47. Altmetric Badge
    Chapter 46 Disruptive Innovations for the Development and the Deployment of Fault-Free Software
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
31 tweeters

Readers on

mendeley
16 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal Methods
Published by
Springer International Publishing, August 2018
DOI 10.1007/978-3-319-95582-7
ISBNs
978-3-31-995581-0, 978-3-31-995582-7
Editors

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Twitter Demographics

The data shown below were collected from the profiles of 31 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 16 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 16 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 5 31%
Lecturer 2 13%
Researcher 2 13%
Student > Ph. D. Student 2 13%
Professor 1 6%
Other 2 13%
Unknown 2 13%
Readers by discipline Count As %
Computer Science 8 50%
Engineering 5 31%
Unknown 3 19%