Abstract is missing.
- Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear AnalysesAdrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux. 1-16 [doi]
- 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 AnalysisHallstein Asheim Hansen. 17-31 [doi]
- An Outline Workflow for Practical Formal Verification from Software Requirements to Object CodeDarren Sexton. 32-47 [doi]
- Boolean Quantifier Elimination for Automotive Configuration - A Case StudyChristoph Zengler, Wolfgang Küchlin. 48-62 [doi]
- Study on the Barriers to the Industrial Adoption of Formal MethodsJennifer A. Davis, Matthew Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman, Brian Hulbert, Steven P. Miller, Lucas Wagner. 63-77 [doi]
- On the Effectiveness of Assertion-Based Verification in an Industrial ContextLaurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont. 78-93 [doi]
- Complex Digital System Design: A Methodology and Its Application to Medical ImplantsHelene Leroux, Karen Godary-Dejean, David Andreu. 94-107 [doi]
- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-ChipAbderahman Kriouile, Wendelin Serwe. 108-122 [doi]
- Predicate Abstraction for Programmable Logic ControllersSebastian Biallas, Mirco Giacobbe, Stefan Kowalewski. 123-138 [doi]
- High-Level Guidance for Managers Deploying Formal Methods in Their OrganisationChristophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer. 139-153 [doi]
- Auditing User-Provided Axioms in Software Verification ConditionsPaul Jackson, Florian Schanda, Angela Wallenburg. 154-168 [doi]
- Formal Reliability Analysis of Protective Relays in Power Distribution SystemsAdil Khurram, Haider Ali, Arham Tariq, Osman Hasan. 169-183 [doi]
- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative EditorsAurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero. 184-198 [doi]