Formal Methods for Industrial Critical Systems, 2013 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings Programming and Software Engineering Series
Coordonnateurs : Dierkes Michael, Pecheur Charles
![Couverture de l’ouvrage Formal Methods for Industrial Critical Systems](https://images.lavoisier.fr/couvertures/1316323671.jpg)
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.
Fast conference proceedings
State-of-the-art report
Up to date results
Date de parution : 09-2013
Ouvrage de 199 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Formal Methods for Industrial Critical Systems :
Mots-clés :
FPGA; PRISM; probabilistic model checking; program verification; timed petri nets