FMCAD

Keyphrases

Publications

2023

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

2022