![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
21st 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.