| 2013 | An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code. Darren Sexton |
| 2013 | Auditing User-Provided Axioms in Software Verification Conditions. Paul B. Jackson, Florian Schanda, Angela Wallenburg |
| 2013 | Boolean Quantifier Elimination for Automotive Configuration - A Case Study. Christoph Zengler, Wolfgang Küchlin |
| 2013 | Complex Digital System Design: A Methodology and Its Application to Medical Implants. Hélène Leroux, Karen Godary-Dejean, David Andreu |
| 2013 | Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. Abderahman Kriouile, Wendelin Serwe |
| 2013 | Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings Charles Pecheur, Michael Dierkes |
| 2013 | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux |
| 2013 | Formal Reliability Analysis of Protective Relays in Power Distribution Systems. Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan |
| 2013 | High-Level Guidance for Managers Deploying Formal Methods in Their Organisation. Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer |
| 2013 | 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. Hallstein Asheim Hansen |
| 2013 | On the Effectiveness of Assertion-Based Verification in an Industrial Context. Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont |
| 2013 | Predicate Abstraction for Programmable Logic Controllers. Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski |
| 2013 | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero |
| 2013 | Study on the Barriers to the Industrial Adoption of Formal Methods. Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner |