↓ 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 5: Study on the Barriers to the Industrial Adoption of Formal Methods
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
21 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
Study on the Barriers to the Industrial Adoption of Formal Methods
Chapter number 5
Book title
Formal Methods for Industrial Critical Systems
Published by
Springer Berlin Heidelberg, September 2013
DOI 10.1007/978-3-642-41010-9_5
Book ISBNs
978-3-64-241009-3, 978-3-64-241010-9
Authors

Jennifer A. Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman, Brian Hulbert, Steven P. Miller, Lucas Wagner

X Demographics

X Demographics

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

Geographical breakdown

Country Count As %
United Kingdom 1 5%
Unknown 20 95%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 24%
Student > Master 4 19%
Student > Bachelor 4 19%
Lecturer 3 14%
Researcher 1 5%
Other 1 5%
Unknown 3 14%
Readers by discipline Count As %
Computer Science 11 52%
Engineering 3 14%
Business, Management and Accounting 1 5%
Philosophy 1 5%
Earth and Planetary Sciences 1 5%
Other 1 5%
Unknown 3 14%