- Roope Kaivola, Neta Bar Kama:
Timed Causal Fanin Analysis for Symbolic Circuit Simulation. FMCAD 2022: 99-107 - Pankaj Kumar Kalita
, Miriyala Jeevan Kumar, Subhajit Roy:
Synthesis of Semantic Actions in Attribute Grammars. FMCAD 2022: 304-314 - Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin:
Automating Geometric Proofs of Collision Avoidance with Active Corners. FMCAD 2022: 1-10 - Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler:
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. FMCAD 2022: 1-10 - Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD 2022: 1-6 - Yannan Li, Jingbo Wang, Chao Wang:
Proving Robustness of KNN Against Adversarial Data Poisoning. FMCAD 2022: 7-16 - Evan Lohn, Chris Lambert, Marijn J. H. Heule:
Compact Symmetry Breaking for Tournaments. FMCAD 2022: 179-188 - Andreas Lööw:
Reconciling Verified-Circuit Development and Verilog Development. FMCAD 2022: 1-10 - Benedikt Maderbacher, Roderick Bloem:
Reactive Synthesis Modulo Theories using Abstraction Refinement. FMCAD 2022: 315-324 - Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett:
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. FMCAD 2022: 84-88 - Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli:
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. FMCAD 2022: 65-74 - Oded Padon:
Verification of Distributed Protocols: Decidable Modeling and Invariant Inference. FMCAD 2022: 4 - Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam:
Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. FMCAD 2022: 129-138 - Mathias Preiner:
The FMCAD 2022 Student Forum. FMCAD 2022: 5-6 - Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel:
Bounded Model Checking for LLVM. FMCAD 2022: 214-224 - Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker:
ACORN: Network Control Plane Abstraction using Route Nondeterminism. FMCAD 2022: 261-272 - Jakob Rath, Armin Biere, Laura Kovács:
First-Order Subsumption via SAT Solving. FMCAD 2022: 160-169 - Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel:
Differential Testing of Pushdown Reachability with a Formally Verified Oracle. FMCAD 2022: 369-379 - William Schultz, Ian Dardik, Stavros Tripakis:
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. FMCAD 2022: 273-283 - Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet:
BaxMC: a CEGAR approach to Max#SAT. FMCAD 2022: 170-178 - Andrew T. Walter, David A. Greve, Panagiotis Manolios:
Enumerative Data Types with Constraints. FMCAD 2022: 189-198 - Suwei Yang, Victor C. Liang, Kuldeep S. Meel:
INC: A Scalable Incremental Weighted Sampler. FMCAD 2022: 205-213 - Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko:
Stratified Certification for k-Induction. FMCAD 2022: 59-64 - Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz:
On Optimizing Back-Substitution Methods for Neural Network Verification. FMCAD 2022: 17-26 - Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi:
Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. FMCAD 2022: 235-244 - Alberto Griggio, Neha Rungta:
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022. IEEE 2022, ISBN 978-3-85448-053-2 [contents] - 2021
- Guy Amir, Michael Schapira, Guy Katz:
Towards Scalable Verification of Deep Reinforcement Learning. FMCAD 2021: 193-203 - Jaroslav Bendík:
On Decomposition of Maximal Satisfiable Subsets. FMCAD 2021: 212-221 - Soham Chakraborty:
Robustness between Weak Memory Models. FMCAD 2021: 173-182 - Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra:
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. FMCAD 2021: 42-52
