| 2023 | Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. | Landon Taylor, Bryant Israelsen, Zhen Zhang |
| 2023 | BTOR2MLIR: A Format and Toolchain for Hardware Verification. | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
| 2023 | NASA's core Flight System Framework Overview. | David Swartwout |
| 2023 | MiniZinc for Formal Methods. | Peter J. Stuckey |
| 2023 | MediK: Towards Safe Guideline-based Clinical Decision Support. | Manasvi Saxena, Shuang Song, Lui Sha |
| 2023 | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2023 | Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. | Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi |
| 2023 | Conformance Testing for Stochastic Cyber-Physical Systems. | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2023 | Binary Decision Diagrams on Modern Hardware. | Samuel Pastva, Thomas A. Henzinger |
| 2023 | Modular System Synthesis. | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
| 2023 | A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery. | Abdalrhman Mohamed, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2023 | Towards a Correct-by-Construction Design of Integrated Modular Avionics. | Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates |
| 2023 | Distribution Testing: The New Frontier for Formal Methods. | Kuldeep S. Meel |
| 2023 | Optimal Bounded Partial Order Reduction. | Iason Marmanis, Viktor Vafeiadis |
| 2023 | Local Search For SMT On Linear and Multi-linear Real Arithmetic. | Bohan Li, Shaowei Cai |
| 2023 | CRV: Automated Cyber-Resiliency Reasoning for System Design Models. | Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
| 2023 | Lift-off: Trustworthy ARMv8 semantics from formal specifications. | Kait Lam, Nicholas Coughlin |
| 2023 | Formal Methods for Trused AI. | Bettina Knighofer |
| 2023 | Proofs for Incremental SAT with Inprocessing. | Benjamin Kiesl-Reiter, Michael W. Whalen |
| 2023 | The FMCAD 2023 Student Forum. | Mikolas Janota, Nina Narodytska |
| 2023 | Modelling and Verification of Security-Oriented Resource Partitioning Schemes. | Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |
| 2023 | BIG Backbones. | Nils Froleyks, Emily Yu, Armin Biere |
| 2023 | A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincn |
| 2023 | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. | Katalin Fazekas, Aman Goel, Karem A. Sakallah |
| 2023 | DelBugV: Delta-Debugging Neural Network Verifiers. | Raya Elsaleh, Guy Katz |