Formal Methods for Industrial Critical Systems  18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /  [electronic resource] : 
edited by Charles Pecheur, Michael Dierkes. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XIV, 199 p. 46 ill.) 
 - Lecture Notes in Computer Science,  8187  0302-9743 ; .
<br/><br/>Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses -- 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 -- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code -- Boolean Quantifier Elimination for Automotive Configuration - A Case Study -- Study on the Barriers to the Industrial Adoption of Formal Methods -- On the Effectiveness of Assertion-Based Verification in an Industrial Context -- Complex Digital System Design: A Methodology and Its Application to Medical Implants -- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip -- Predicate Abstraction for Programmable Logic Controllers -- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation -- Auditing User-Provided Axioms in Software Verification Conditions -- Formal Reliability Analysis of Protective Relays in Power Distribution Systems -- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. 
<br/><br/><label>ISBN: </label>9783642410109 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Special purpose computers.<br/>Software engineering.<br/>Computers.<br/>Computer logic.<br/>Mathematical logic.