↓ 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
Attention for 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
Altmetric Badge

Readers on

mendeley
8 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
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
Chapter number 2
Book title
Formal Methods for Industrial Critical Systems
Published by
Springer, Berlin, Heidelberg, September 2013
DOI 10.1007/978-3-642-41010-9_2
Book ISBNs
978-3-64-241009-3, 978-3-64-241010-9
Authors

Hallstein Asheim Hansen

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 38%
Student > Ph. D. Student 2 25%
Researcher 1 13%
Professor 1 13%
Unknown 1 13%
Readers by discipline Count As %
Computer Science 4 50%
Engineering 2 25%
Arts and Humanities 1 13%
Unknown 1 13%