↓ Skip to main content

FM 2014: Formal Methods

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Validity Checking of Putback Transformations in Bidirectional Programming
  3. Altmetric Badge
    Chapter 2 FM 2014: Formal Methods
  4. Altmetric Badge
    Chapter 3 Engineering UToPiA
  5. Altmetric Badge
    Chapter 4 40 Years of Formal Methods
  6. Altmetric Badge
    Chapter 5 A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes
  7. Altmetric Badge
    Chapter 6 FM 2014: Formal Methods
  8. Altmetric Badge
    Chapter 7 Definition, Semantics, and Analysis of Multirate Synchronous AADL
  9. Altmetric Badge
    Chapter 8 TrustFound : Towards a Formal Foundation for Model Checking Trusted Computing Platforms
  10. Altmetric Badge
    Chapter 9 The VerCors Tool for Verification of Concurrent Programs
  11. Altmetric Badge
    Chapter 10 Knowledge-Based Automated Repair of Authentication Protocols
  12. Altmetric Badge
    Chapter 11 A Simplified Z Semantics for Presentation Interaction Models
  13. Altmetric Badge
    Chapter 12 Log Analysis for Data Protection Accountability
  14. Altmetric Badge
    Chapter 13 Automatic Compositional Synthesis of Distributed Systems
  15. Altmetric Badge
    Chapter 14 Automated Real Proving in PVS via MetiTarski
  16. Altmetric Badge
    Chapter 15 Quiescent Consistency: Defining and Verifying Relaxed Linearizability
  17. Altmetric Badge
    Chapter 16 Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol
  18. Altmetric Badge
    Chapter 17 Contracts in Practice
  19. Altmetric Badge
    Chapter 18 When Equivalence and Bisimulation Join Forces in Probabilistic Automata
  20. Altmetric Badge
    Chapter 19 Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
  21. Altmetric Badge
    Chapter 20 Proof Patterns for Formal Methods
  22. Altmetric Badge
    Chapter 21 Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System
  23. Altmetric Badge
    Chapter 22 iscasMc: A Web-Based Probabilistic Model Checker
  24. Altmetric Badge
    Chapter 23 Invariants, Well-Founded Statements and Real-Time Program Algebra
  25. Altmetric Badge
    Chapter 24 Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis
  26. Altmetric Badge
    Chapter 25 A Symbolic Algorithm for the Analysis of Robust Timed Automata
  27. Altmetric Badge
    Chapter 26 Revisiting Compatibility of Input-Output Modal Transition Systems
  28. Altmetric Badge
    Chapter 27 Co-induction Simply
  29. Altmetric Badge
    Chapter 28 Management of Time Requirements in Component-Based Systems
  30. Altmetric Badge
    Chapter 29 Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning
  31. Altmetric Badge
    Chapter 30 Formal Verification of Operational Transformation
  32. Altmetric Badge
    Chapter 31 Verification of a Transactional Memory Manager under Hardware Failures and Restarts
  33. Altmetric Badge
    Chapter 32 SCJ: Memory-Safety Checking without Annotations
  34. Altmetric Badge
    Chapter 33 Refactoring, Refinement, and Reasoning
  35. Altmetric Badge
    Chapter 34 Object Propositions
  36. Altmetric Badge
    Chapter 35 Flexible Invariants through Semantic Collaboration
  37. Altmetric Badge
    Chapter 36 Efficient Tight Field Bounds Computation Based on Shape Predicates
  38. Altmetric Badge
    Chapter 37 A Graph-Based Transformation Reduction to Reach UPPAAL States Faster
  39. Altmetric Badge
    Chapter 38 Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison
  40. Altmetric Badge
    Chapter 39 Efficient Self-composition for Weakest Precondition Calculi
  41. Altmetric Badge
    Chapter 40 FM 2014: Formal Methods
  42. Altmetric Badge
    Chapter 41 Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic
  43. Altmetric Badge
    Chapter 42 A Modular Theory of Object Orientation in Higher-Order UTP
  44. Altmetric Badge
    Chapter 43 FM 2014: Formal Methods
  45. Altmetric Badge
    Chapter 44 The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification
  46. Altmetric Badge
    Chapter 45 Formally Verifying Graphics FPU
  47. Altmetric Badge
    Chapter 46 MDP-Based Reliability Analysis of an Ambient Assisted Living System
  48. Altmetric Badge
    Chapter 47 Diagnosing Industrial Business Processes: Early Experiences
  49. Altmetric Badge
    Chapter 48 Formal Verification of Lunar Rover Control Software Using UPPAAL
  50. Altmetric Badge
    Chapter 49 Formal Verification of a Descent Guidance Control Program of a Lunar Lander
Attention for Chapter 6: FM 2014: Formal Methods
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
6 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.
Chapter title
FM 2014: Formal Methods
Chapter number 6
Book title
FM 2014: Formal Methods
Published in
Lecture notes in computer science, January 2014
DOI 10.1007/978-3-319-06410-9_6
Book ISBNs
978-3-31-906409-3, 978-3-31-906410-9
Authors

Cliff Jones, Pekka Pihlajasaari, Jun Sun, Alasdair Armstrong, Victor B. F. Gomes, Georg Struth, Armstrong, Alasdair, Gomes, Victor B. F., Struth, Georg

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 33%
Student > Bachelor 1 17%
Researcher 1 17%
Other 1 17%
Unknown 1 17%
Readers by discipline Count As %
Computer Science 4 67%
Mathematics 1 17%
Unknown 1 17%