default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st FMCAD 2021: New Haven, CT, USA
- Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021. IEEE 2021, ISBN 978-3-85448-046-4
- Barbara Liskov:
From Viewstamped Replication to Blockchains. 1 - Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov:
Induction with Recursive Definitions in Superposition. 1-10 - Frits W. Vaandrager:
Active Automata Learning: from L* to L#. 1 - Rayna Dimitrova:
Reactive Synthesis Beyond Realizability. 1 - Mark Santolucito:
The FMCAD 2021 Student Forum. 1 - Matteo Maffei:
Formal Methods for the Security Analysis of Smart Contracts. 1-2 - Ori Lahav, Guy Katz:
Pruning and Slicing Neural Networks using Formal Verification. 1-10 - Vedad Hadzic, Roderick Bloem:
COCOALMA: A Versatile Masking Verifier. 1-10 - Viktor Kuncak, Jad Hamza:
Stainless Verification System Tutorial. 2-7 - Seny Kamara:
Algorithms for the People. 11 - Peter Sewell:
Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V. 12 - Dapeng Gao
, Tom Melham:
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. 24-33 - Neta Bar Kama, Roope Kaivola:
Hardware Security Leak Detection by Symbolic Simulation. 34-41 - 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. 42-52 - Mertcan Temel, Warren A. Hunt:
Sound and Automated Verification of Real-World RTL Multipliers. 53-62 - Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel:
IC3 with Internal Signals. 63-71 - Nils Froleyks, Armin Biere:
Single Clause Assumption without Activation Literals to Speed-up IC3. 72-76 - Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Logical Characterization of Coherent Uninterpreted Programs. 77-85 - Nham Le, Xujie Si, Arie Gurfinkel:
Data-driven Optimization of Inductive Generalization. 86-95 - Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr:
Model Checking AUTOSAR Components with CBMC. 96-101 - Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett:
Automating System Configuration. 102-111 - Aman Goel, Karem A. Sakallah:
Towards an Automatic Proof of Lamport's Paxos. 112-122 - Ning Dong, Roberto Guanciale, Mads Dam:
Refinement-Based Verification of Device-to-Device Information Flow. 123-132 - Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal:
Celestial: A Smart Contracts Verification Framework. 133-142 - Bernhard Kragl, Shaz Qadeer:
The Civl Verifier. 143-152 - Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. 153-162 - Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis:
Dynamic Partial Order Reductions for Spinloops. 163-172 - Soham Chakraborty:
Robustness between Weak Memory Models. 173-182 - Guy Amir, Michael Schapira, Guy Katz:
Towards Scalable Verification of Deep Reinforcement Learning. 193-203 - Alexander Ivrii, Ofer Strichman:
Exploiting Isomorphic Subgraphs in SAT. 204-211 - Jaroslav Bendík:
On Decomposition of Maximal Satisfiable Subsets. 212-221 - Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel:
Designing Samplers is Easy: The Boon of Testers. 222-230 - Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule:
SAT-Inspired Eliminations for Superposition. 231-240 - Alex Ozdemir, Haoze Wu, Clark W. Barrett:
SAT Solving in the Serverless Cloud. 241-245 - Mikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds:
Fair and Adventurous Enumeration of Quantifier Instantiations. 256-260 - Ankit Kumar, Panagiotis Manolios:
Mathematical Programming Modulo Strings. 261-270 - Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
Lookahead in Partitioning SMT. 271-279 - Michael Rawson, Giles Reger:
A Multithreaded Vampire with Shared Persistent Grounding. 280-284
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-18 19:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
