↓ Skip to main content

Integrated Formal Methods

Overview of attention for book
Cover of 'Integrated Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Digital Thread in Industry 4.0
  3. Altmetric Badge
    Chapter 2 Accelerating Parameter Synthesis Using Semi-algebraic Constraints
  4. Altmetric Badge
    Chapter 3 Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
  5. Altmetric Badge
    Chapter 4 Using Ontologies in Formal Developments Targeting Certification
  6. Altmetric Badge
    Chapter 5 A Program Logic for Dependence Analysis
  7. Altmetric Badge
    Chapter 6 Evaluation of Program Slicing in Software Verification
  8. Altmetric Badge
    Chapter 7 Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning
  9. Altmetric Badge
    Chapter 8 Learning to Reuse: Adaptive Model Learning for Evolving Systems
  10. Altmetric Badge
    Chapter 9 Axiomatic Characterization of Trace Reachability for Concurrent Objects
  11. Altmetric Badge
    Chapter 10 Dynamic Reconfigurations in Frequency Constrained Data Flow
  12. Altmetric Badge
    Chapter 11 Ontology-Mediated Probabilistic Model Checking
  13. Altmetric Badge
    Chapter 12 Fuzzing JavaScript Environment APIs with Interdependent Function Calls
  14. Altmetric Badge
    Chapter 13 Dione : A Protocol Verification System Built with Dafny for I/O Automata
  15. Altmetric Badge
    Chapter 14 Relating Alternating Relations for Conformance and Refinement
  16. Altmetric Badge
    Chapter 15 Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
  17. Altmetric Badge
    Chapter 16 An Integrated Approach to a Combinatorial Optimisation Problem
  18. Altmetric Badge
    Chapter 17 Computing Bisimilarity Metrics for Probabilistic Timed Automata
  19. Altmetric Badge
    Chapter 18 Sound Probabilistic Numerical Error Analysis
  20. Altmetric Badge
    Chapter 19 Automated Drawing of Railway Schematics Using Numerical Optimization in SAT
  21. Altmetric Badge
    Chapter 20 Asynchronous Testing of Synchronous Components in GALS Systems
  22. Altmetric Badge
    Chapter 21 Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
  23. Altmetric Badge
    Chapter 22 Practical Abstractions for Automated Verification of Message Passing Concurrency
  24. Altmetric Badge
    Chapter 23 Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
  25. Altmetric Badge
    Chapter 24 Resource Sharing via Capability-Based Multiparty Session Types
  26. Altmetric Badge
    Chapter 25 A Multi-target Code Generator for High-Level B
  27. Altmetric Badge
    Chapter 26 Visualization and Abstractions for Execution Paths in Model-Based Software Testing
  28. Altmetric Badge
    Chapter 27 HYPpOTesT : Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
  29. Altmetric Badge
    Chapter 28 Interactive Visualization of Saturation Attempts in Vampire
  30. Altmetric Badge
    Chapter 29 SIGmA: GPU Accelerated Simplification of SAT Formulas
  31. Altmetric Badge
    Chapter 30 Summary of: Dynamic Structural Operational Semantics
  32. Altmetric Badge
    Chapter 31 Summary of: An Evaluation of Interaction Paradigms for Active Objects
  33. Altmetric Badge
    Chapter 32 Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
  34. Altmetric Badge
    Chapter 33 A Summary of Formal Specification and Verification of Autonomous Robotic Systems
  35. Altmetric Badge
    Chapter 34 Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
  36. Altmetric Badge
    Chapter 35 Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
7 tweeters

Readers on

mendeley
1 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
Integrated Formal Methods
Published by
Springer International Publishing, February 2020
DOI 10.1007/978-3-030-34968-4
ISBNs
978-3-03-034967-7, 978-3-03-034968-4
Editors

Ahrendt, Wolfgang, Tapia Tarifa, Silvia Lizeth

Twitter Demographics

The data shown below were collected from the profiles of 7 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 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Mathematics 1 100%