↓ Skip to main content
What is this page? Embed badge

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 Modelling and Verification for Swarm Robotics
  3. Altmetric Badge
    Chapter 2 On the Industrial Uptake of Formal Methods in the Railway Domain
  4. Altmetric Badge
    Chapter 3 Reasoning About JML: Differences Between KeY and OpenJML
  5. Altmetric Badge
    Chapter 4 Design and Verification of Restart-Robust Industrial Control Software
  6. Altmetric Badge
    Chapter 5 Efficiently Characterizing the Undefined Requests of a Rule-Based System
  7. Altmetric Badge
    Chapter 6 Study of Integrating Random and Symbolic Testing for Object-Oriented Software
  8. Altmetric Badge
    Chapter 7 Making Linearizability Compositional for Partially Ordered Executions
  9. Altmetric Badge
    Chapter 8 Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA
  10. Altmetric Badge
    Chapter 9 A Precise Pictorial Language for Array Invariants
  11. Altmetric Badge
    Chapter 10 Robotics and Integrated Formal Methods: Necessity Meets Opportunity
  12. Altmetric Badge
    Chapter 11 Formal Modelling of Software Defined Networking
  13. Altmetric Badge
    Chapter 12 Resource-Aware Virtually Timed Ambients
  14. Altmetric Badge
    Chapter 13 Stateful Behavioral Types for Active Objects
  15. Altmetric Badge
    Chapter 14 Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC
  16. Altmetric Badge
    Chapter 15 Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
  17. Altmetric Badge
    Chapter 16 State-of-the-Art Model Checking for B and Event-B Using P ro B and LTS min
  18. Altmetric Badge
    Chapter 17 Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks
  19. Altmetric Badge
    Chapter 18 Task Planning with OMT: An Application to Production Logistics
  20. Altmetric Badge
    Chapter 19 Branching Temporal Logic of Calls and Returns for Pushdown Systems
  21. Altmetric Badge
    Chapter 20 Repair and Generation of Formal Models Using Synthesis
  22. Altmetric Badge
    Chapter 21 Mode-Aware Concolic Testing for PLC Software
  23. Altmetric Badge
    Chapter 22 Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions
  24. Altmetric Badge
    Chapter 23 Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
6 X users

Readers on

mendeley
1 Mendeley
Summary X
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, September 2018
DOI 10.1007/978-3-319-98938-9
ISBNs
978-3-31-998937-2, 978-3-31-998938-9
Editors

Furia, Carlo A., Winter, Kirsten

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 6 X users 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 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 %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.