↓ Skip to main content

Formal Methods. FM 2019 International Workshops

Overview of attention for book
Cover of 'Formal Methods. FM 2019 International Workshops'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Flow Diagrams, Assertions, and Formal Methods
  3. Altmetric Badge
    Chapter 2 The School of Squiggol
  4. Altmetric Badge
    Chapter 3 Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
  5. Altmetric Badge
    Chapter 4 Specification with Class: A Brief History of Object-Z
  6. Altmetric Badge
    Chapter 5 Formal Specifications and Software Testing, a Fruitful Convergence
  7. Altmetric Badge
    Chapter 6 From Manuscripts to Programming Languages: An Archivist Perspective
  8. Altmetric Badge
    Chapter 7 What Have Formal Methods Ever Done for Us? An Audience Discussion
  9. Altmetric Badge
    Chapter 8 Combination of Boxes and Polyhedra Abstractions for Constraint Solving
  10. Altmetric Badge
    Chapter 9 An Abstract Domain for Objects in Dynamic Programming Languages
  11. Altmetric Badge
    Chapter 10 A Survey of Learning Methods in Open Source Software
  12. Altmetric Badge
    Chapter 11 A Calculus of Chaos in Stochastic Compilation
  13. Altmetric Badge
    Chapter 12 Runtime Verification of Linux Kernel Security Module
  14. Altmetric Badge
    Chapter 13 Open and Interactive Learning Resources for Algorithmic Problem Solving
  15. Altmetric Badge
    Chapter 14 Challenges Faced by Students in an Open Source Software Undergraduate Course
  16. Altmetric Badge
    Chapter 15 Open Source Software as a Learning Tool for Computer Science Students
  17. Altmetric Badge
    Chapter 16 Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
  18. Altmetric Badge
    Chapter 17 Migrating the INTO-CPS Application to the Cloud
  19. Altmetric Badge
    Chapter 18 Towards a Static Check of FMUs in VDM-SL
  20. Altmetric Badge
    Chapter 19 ViennaDoc: An Animatable and Testable Specification Documentation Tool
  21. Altmetric Badge
    Chapter 20 A Map of Asynchronous Communication Models
  22. Altmetric Badge
    Chapter 21 An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities
  23. Altmetric Badge
    Chapter 22 Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors
  24. Altmetric Badge
    Chapter 23 Towards a Method for the Decomposition by Refinement in Event-B
  25. Altmetric Badge
    Chapter 24 Transformations for Generating Type Refinements
  26. Altmetric Badge
    Chapter 25 Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study
  27. Altmetric Badge
    Chapter 26 Reversible Programs Have Reversible Semantics
  28. Altmetric Badge
    Chapter 27 Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
  29. Altmetric Badge
    Chapter 28 Quotients and Atoms of Reversible Languages
  30. Altmetric Badge
    Chapter 29 Bayesian Verification of Chemical Reaction Networks
  31. Altmetric Badge
    Chapter 30 Nested Event Representation for Automated Assembly of Cell Signaling Network Models
  32. Altmetric Badge
    Chapter 31 PrideMM: Second Order Model Checking for Memory Consistency Models
  33. Altmetric Badge
    Chapter 32 Fkcc : The Farkas Calculator
  34. Altmetric Badge
    Chapter 33 Handling Heap Data Structures in Backward Symbolic Execution
  35. Altmetric Badge
    Chapter 34 AuthCheck : Program-State Analysis for Access-Control Vulnerabilities
Attention for Chapter 6: From Manuscripts to Programming Languages: An Archivist Perspective
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
2 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
From Manuscripts to Programming Languages: An Archivist Perspective
Chapter number 6
Book title
Formal Methods. FM 2019 International Workshops
Published by
Springer, Cham, October 2019
DOI 10.1007/978-3-030-54997-8_6
Book ISBNs
978-3-03-054996-1, 978-3-03-054997-8
Authors

Alexandra Vidal, Ana Sandra Meneses, António Sousa, Vidal, Alexandra, Meneses, Ana Sandra, Sousa, António

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%