↓ 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