Proving Robustness of KNN Against Adversarial Data Poisoning
Li, Yannan, Wang, Jingbo, Wang, Chao
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
Schultz, William, Dardik, Ian, Tripakis, Stavros
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Neural Network Verification with Proof Production
Isac, Omri, Barrett, Clark, Zhang, Min, Katz, Guy
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Reactive Synthesis Modulo Theories using Abstraction Refinement
Maderbacher, Benedikt, Bloem, Roderick
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Verification-Aided Deep Ensemble Selection
Amir, Guy, Zelazny, Tom, Katz, Guy, Schapira, Michael
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Small Proofs from Congruence Closure
Flatt, Oliver, Coward, Samuel, Willsey, Max, Tatlock, Zachary, Panchekha, Pavel
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
BaxMC: a CEGAR approach to Max#SAT
Vigouroux, Thomas, Ene, Cristian, Monniaux, David, Mounier, Laurent, Potet, Marie-Laure
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language
Notzli, Andres, Barbosa, Haniel, Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Synthesis of Semantic Actions in Attribute Grammars
Kalita, Pankaj Kumar, Kumar, Miriyala Jeevan, Roy, Subhajit
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Split Transition Power Abstraction for Unbounded Safety
Blicha, Martin, Fedyukovich, Grigory, Hyvarinen, Antti E. J., Sharygina, Natasha
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Stratified Certification for k-Induction
Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Tricera: Verifying C Programs Using the Theory of Heaps
Esen, Zafer, Rummer, Philipp
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Automated Conversion of Axiomatic to Operational Models: Theory and Practice
Godbole, Adwait, Manerkar, Yatin A., Seshia, Sanjit A.
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Automatic Repair and Deadlock Detection for Parameterized Systems
Jacobs, Swen, Sakr, Mouhammad, Volp, Marcus
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT
Daly, Ross, Donovick, Caleb, Melchert, Jackson, Setaluri, Rajsekhar, Bullock, Nestan Tsiskaridze, Raina, Priyanka, Barrett, Clark, Hanrahan, Pat
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
On Optimizing Back-Substitution Methods for Neural Network Verification
Zelazny, Tom, Wu, Haoze, Barrett, Clark, Katz, Guy
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Automating Geometric Proofs of Collision Avoidance with Active Corners
Kheterpal, Nishant, Tang, Elanor, Jeannin, Jean-Baptiste
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Enumerative Data Types with Constraints
Walter, Andrew T., Greve, David, Manolios, Panagiotis
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding
Bounded Model Checking for LLVM
Priya, Siddharth, Su, Yusen, Bao, Yuyan, Zhou, Xiang, Vizel, Yakir, Gurfinkel, Arie
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding