| 2023 | A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery. Abdalrhman Mohamed, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2023 | A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón |
| 2023 | Automating Cutoff-based Verification of Distributed Protocols. Shreesha G. Bhat, Kartik Nagar |
| 2023 | BIG Backbones. Nils Froleyks, Emily Yu, Armin Biere |
| 2023 | BTOR2MLIR: A Format and Toolchain for Hardware Verification. Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
| 2023 | Binary Decision Diagrams on Modern Hardware. Samuel Pastva, Thomas A. Henzinger |
| 2023 | CRV: Automated Cyber-Resiliency Reasoning for System Design Models. Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
| 2023 | Conformance Testing for Stochastic Cyber-Physical Systems. Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2023 | Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. Landon Taylor, Bryant Israelsen, Zhen Zhang |
| 2023 | Data-Driven Learning of Strong Conjunctive Invariants. Arkesh Thakkar, Deepak D'Souza |
| 2023 | Datapath Verification via Word-Level E-Graph Rewriting. Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
| 2023 | DelBugV: Delta-Debugging Neural Network Verifiers. Raya Elsaleh, Guy Katz |
| 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 | Distribution Testing: The New Frontier for Formal Methods. Kuldeep S. Meel |
| 2023 | Formal Methods for Trused AI. Bettina Könighofer |
| 2023 | Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 Alexander Nadel, Kristin Yvonne Rozier |
| 2023 | Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw |
| 2023 | Formally Explaining Neural Networks within Reactive Systems. Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
| 2023 | Fortis: A Tool for Analysis and Repair of Robust Software Systems. Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang |
| 2023 | Lift-off: Trustworthy ARMv8 semantics from formal specifications. Kait Lam, Nicholas Coughlin |
| 2023 | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett |
| 2023 | Local Search For SMT On Linear and Multi-linear Real Arithmetic. Bohan Li, Shaowei Cai |
| 2023 | Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. Shaowei Cai |
| 2023 | Mariposa: Measuring SMT Instability in Automated Program Verification. Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
| 2023 | MediK: Towards Safe Guideline-based Clinical Decision Support. Manasvi Saxena, Shuang Song, Lui Sha |
| 2023 | MiniZinc for Formal Methods. Peter J. Stuckey |
| 2023 | Modelling and Verification of Security-Oriented Resource Partitioning Schemes. Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |
| 2023 | Modular System Synthesis. Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
| 2023 | NASA's core Flight System Framework Overview. David Swartwout |
| 2023 | Optimal Bounded Partial Order Reduction. Iason Marmanis, Viktor Vafeiadis |
| 2023 | Partitioning Strategies for Distributed SMT Solving. Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett |
| 2023 | Proofs for Incremental SAT with Inprocessing. Benjamin Kiesl-Reiter, Michael W. Whalen |
| 2023 | Reasoning about Quantifiers in SMT: The QSMA algorithm. Maria Paola Bonacina |
| 2023 | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. Katalin Fazekas, Aman Goel, Karem A. Sakallah |
| 2023 | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. Kaki Ryan, Cynthia Sturton |
| 2023 | The FMCAD 2023 Student Forum. Mikolas Janota, Nina Narodytska |
| 2023 | Towards Compositional Hardware Model Checking Certification. Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
| 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 | Verified Encodings for SAT Solvers. Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
| 2023 | μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan |