- Joseph Tafese
, Isabel Garcia-Contreras, Arie Gurfinkel:
BTOR2MLIR: A Format and Toolchain for Hardware Verification. FMCAD 2023: 55-63 - Landon Taylor, Bryant Israelsen, Zhen Zhang:
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. FMCAD 2023: 284-293 - Arkesh Thakkar, Deepak D'Souza:
Data-Driven Learning of Strong Conjunctive Invariants. FMCAD 2023: 1-11 - Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan:
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. FMCAD 2023: 101-109 - Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett:
Partitioning Strategies for Distributed SMT Solving. FMCAD 2023: 199-208 - 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: 1-11 - Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko:
Towards Compositional Hardware Model Checking Certification. FMCAD 2023: 1-11 - 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: 1-9 - Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno:
Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD 2023: 178-188 - Alexander Nadel, Kristin Yvonne Rozier:
Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023. IEEE 2023, ISBN 978-3-85448-060-0 [contents] - 2022
- Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira:
Verification-Aided Deep Ensemble Selection. FMCAD 2022: 27-37 - June Andronick:
The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. FMCAD 2022: 1 - Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Split Transition Power Abstraction for Unbounded Safety. FMCAD 2022: 349-358 - Randal E. Bryant:
Tbuddy: A Proof-Generating BDD Package. FMCAD 2022: 49-58 - Mario Bucev, Viktor Kuncak:
Formally Verified Quite OK Image Format. FMCAD 2022: 343-348 - Fa-Hsun Chen, Shen-Chang Huang, Yu-Cheng Lu, Tony Tan:
Reducing NEXP-complete problems to DQBF. FMCAD 2022: 199-204 - Hana Chockler:
Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. FMCAD 2022: 1 - Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan:
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. FMCAD 2022: 139-150 - Ali Ebnenasir:
Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. FMCAD 2022: 245-254 - Zafer Esen, Philipp Rümmer:
Tricera: Verifying C Programs Using the Theory of Heaps. FMCAD 2022: 380-391 - Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha:
Small Proofs from Congruence Closure. FMCAD 2022: 75-83 - Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger:
The Rapid Software Verification Framework. FMCAD 2022: 255-260 - Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. FMCAD 2022: 331-342 - Anvay Grover, Ruediger Ehlers, Loris D'Antoni:
Synthesizing Transducers from Complex Specifications. FMCAD 2022: 294-303 - Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh:
Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. FMCAD 2022: 151-159 - Jonas Haglund, Roberto Guanciale:
Formally Verified Isolation of DMA. FMCAD 2022: 118-128 - Håkan Hjort:
On Applying Model Checking in Formal Verification. FMCAD 2022: 1 - Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz:
Neural Network Verification with Proof Production. FMCAD 2022: 38-48 - Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD 2022: 225-234 - Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. FMCAD 2022: 284-293
