↓ Skip to main content

Formal Methods for Industrial Critical Systems

Overview of attention for book
Cover of 'Formal Methods for Industrial Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses
  3. Altmetric Badge
    Chapter 2 HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis
  4. Altmetric Badge
    Chapter 3 An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code
  5. Altmetric Badge
    Chapter 4 Boolean Quantifier Elimination for Automotive Configuration – A Case Study
  6. Altmetric Badge
    Chapter 5 Study on the Barriers to the Industrial Adoption of Formal Methods
  7. Altmetric Badge
    Chapter 6 On the Effectiveness of Assertion-Based Verification in an Industrial Context
  8. Altmetric Badge
    Chapter 7 Complex Digital System Design: A Methodology and Its Application to Medical Implants
  9. Altmetric Badge
    Chapter 8 Study on the Barriers to the Industrial Adoption of Formal Methods
  10. Altmetric Badge
    Chapter 9 Predicate Abstraction for Programmable Logic Controllers
  11. Altmetric Badge
    Chapter 10 High-Level Guidance for Managers Deploying Formal Methods in Their Organisation
  12. Altmetric Badge
    Chapter 11 Auditing User-Provided Axioms in Software Verification Conditions
  13. Altmetric Badge
    Chapter 12 Formal Reliability Analysis of Protective Relays in Power Distribution Systems
  14. Altmetric Badge
    Chapter 13 Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

2 X users
2 Wikipedia pages

Readers on

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.
Formal Methods for Industrial Critical Systems
Published by
Springer Berlin Heidelberg, September 2013
DOI 10.1007/978-3-642-41010-9
978-3-64-241009-3, 978-3-64-241010-9

Pecheur, Charles, Dierkes, Michael

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 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 > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%