Book Volume 8187 2013

Formal Methods for Industrial Critical Systems

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Editors:

ISBN: 978-3-642-41009-3 (Print) 978-3-642-41010-9 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. Chapter and Conference Paper

    Pages 1-16

    Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses

  3. Chapter and Conference Paper

    Pages 17-31

    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. Chapter and Conference Paper

    Pages 32-47

    An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code

  5. Chapter and Conference Paper

    Pages 48-62

    Boolean Quantifier Elimination for Automotive Configuration – A Case Study

  6. Chapter and Conference Paper

    Pages 63-77

    Study on the Barriers to the Industrial Adoption of Formal Methods

  7. Chapter and Conference Paper

    Pages 78-93

    On the Effectiveness of Assertion-Based Verification in an Industrial Context

  8. Chapter and Conference Paper

    Pages 94-107

    Complex Digital System Design: A Methodology and Its Application to Medical Implants

  9. Chapter and Conference Paper

    Pages 108-122

    Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip

  10. Chapter and Conference Paper

    Pages 123-138

    Predicate Abstraction for Programmable Logic Controllers

  11. Chapter and Conference Paper

    Pages 139-153

    High-Level Guidance for Managers Deploying Formal Methods in Their Organisation

  12. Chapter and Conference Paper

    Pages 154-168

    Auditing User-Provided Axioms in Software Verification Conditions

  13. Chapter and Conference Paper

    Pages 169-183

    Formal Reliability Analysis of Protective Relays in Power Distribution Systems

  14. Chapter and Conference Paper

    Pages 184-198

    Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors

  15. Back Matter

    Pages -