Abstract is missing.
- The FMCAD 2021 Student ForumMark Santolucito. 1 [doi]
- Pruning and Slicing Neural Networks using Formal VerificationOri Lahav, Guy Katz. 1-10 [doi]
- Induction with Recursive Definitions in SuperpositionMárton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov. 1-10 [doi]
- Reactive Synthesis Beyond RealizabilityRayna Dimitrova. 1 [doi]
- #Frits W. Vaandrager. 1 [doi]
- Formal Methods for the Security Analysis of Smart ContractsMatteo Maffei. 1-2 [doi]
- From Viewstamped Replication to BlockchainsBarbara Liskov. 1 [doi]
- COCOALMA: A Versatile Masking VerifierVedad Hadzic, Roderick Bloem. 1-10 [doi]
- Stainless Verification System TutorialViktor Kuncak, Jad Hamza. 2-7 [doi]
- Algorithms for the PeopleSeny Kamara. 11 [doi]
- Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-VPeter Sewell. 12 [doi]
- End-to-End Formal Verification of a RISC-V Processor Extended with Capability PointersDapeng Gao, Tom Melham. 24-33 [doi]
- Hardware Security Leak Detection by Symbolic SimulationNeta Bar Kama, Roope Kaivola. 34-41 [doi]
- Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionSaranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei 0004, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra. 42-52 [doi]
- Sound and Automated Verification of Real-World RTL MultipliersMertcan Temel, Warren A. Hunt. 53-62 [doi]
- IC3 with Internal SignalsRohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel. 63-71 [doi]
- Single Clause Assumption without Activation Literals to Speed-up IC3Nils Froleyks, Armin Biere. 72-76 [doi]
- Logical Characterization of Coherent Uninterpreted ProgramsHari Govind V. K., Sharon Shoham, Arie Gurfinkel. 77-85 [doi]
- Data-driven Optimization of Inductive GeneralizationNham Le, Xujie Si, Arie Gurfinkel. 86-95 [doi]
- Model Checking AUTOSAR Components with CBMCTimothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr. 96-101 [doi]
- Automating System ConfigurationNestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett. 102-111 [doi]
- Towards an Automatic Proof of Lamport's PaxosAman Goel, Karem A. Sakallah. 112-122 [doi]
- Refinement-Based Verification of Device-to-Device Information FlowNing Dong, Roberto Guanciale, Mads Dam. 123-132 [doi]
- Celestial: A Smart Contracts Verification FrameworkSamvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal. 133-142 [doi]
- The Civl VerifierBernhard Kragl, Shaz Qadeer. 143-152 [doi]
- Synthesizing Pareto-Optimal Interpretations for Black-Box ModelsHazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay 0001, Sanjit A. Seshia. 153-162 [doi]
- Dynamic Partial Order Reductions for SpinloopsMichalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis. 163-172 [doi]
- Robustness between Weak Memory ModelsSoham Chakraborty. 173-182 [doi]
- Towards Scalable Verification of Deep Reinforcement LearningGuy Amir, Michael Schapira, Guy Katz. 193-203 [doi]
- Exploiting Isomorphic Subgraphs in SATAlexander Ivrii, Ofer Strichman. 204-211 [doi]
- On Decomposition of Maximal Satisfiable SubsetsJaroslav Bendík. 212-221 [doi]
- Designing Samplers is Easy: The Boon of TestersPriyanka Golia, Mate Soos, Sourav Chakraborty 0001, Kuldeep S. Meel. 222-230 [doi]
- SAT-Inspired Eliminations for SuperpositionPetar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule. 231-240 [doi]
- SAT Solving in the Serverless CloudAlex Ozdemir, Haoze Wu 0001, Clark W. Barrett. 241-245 [doi]
- Fair and Adventurous Enumeration of Quantifier InstantiationsMikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds 0001. 256-260 [doi]
- Mathematical Programming Modulo StringsAnkit Kumar, Panagiotis Manolios. 261-270 [doi]
- Lookahead in Partitioning SMTAntti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina. 271-279 [doi]
- A Multithreaded Vampire with Shared Persistent GroundingMichael Rawson, Giles Reger. 280-284 [doi]