FMCAD 2021 Frontmatter Page (English)
In:
2021 Formal Methods in Computer Aided Design (FMCAD)
;
i-iii
;
2021
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:FMCAD 2021 Frontmatter Page
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2021-10-19
-
Size:121599 byte
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Active Automata Learning: from L* to L#Vaandrager, Frits et al. | 2021
- 1
-
Reactive Synthesis Beyond RealizabilityDimitrova, Rayna et al. | 2021
- 1
-
COCOALMA: A Versatile Masking VerifierHadzic, Vedad / Bloem, Roderick et al. | 2021
- 1
-
From Viewstamped Replication to BlockchainsLiskov, Barbara et al. | 2021
- 1
-
Pruning and Slicing Neural Networks using Formal VerificationLahav, Ori / Katz, Guy et al. | 2021
- 1
-
The FMCAD 2021 Student ForumSantolucito, Mark et al. | 2021
- 1
-
Induction with Recursive Definitions in SuperpositionHajdu, Marton / Hozzova, Petra / Kovacs, Laura / Voronkov, Andrei et al. | 2021
- 1
-
Formal Methods for the Security Analysis of Smart ContractsMaffei, Mattei et al. | 2021
- 2
-
Stainless Verification System TutorialKuncak, Viktor / Hamza, Jad et al. | 2021
- 11
-
Algorithms for the PeopleKamara, Seny et al. | 2021
- 12
-
Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-VSewell, Peter et al. | 2021
- 24
-
End-to-End Formal Verification of a RISC-V Processor Extended with Capability PointersGao, Dapeng / Melham, Tom et al. | 2021
- 34
-
Hardware Security Leak Detection by Symbolic SimulationKama, Neta Bar / Kaivola, Roope et al. | 2021
- 42
-
Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionChattopadhyay, Saranyu / Lonsing, Florian / Piccolboni, Luca / Soni, Deepraj / Wei, Peng / Zhang, Xiaofan / Zhou, Yuan / Carloni, Luca / Chen, Deming / Cong, Jason et al. | 2021
- 53
-
Sound and Automated Verification of Real-World RTL MultipliersTemel, Mertcan / Hunt, Warren A. et al. | 2021
- 63
-
IC3 with Internal SignalsDureja, Rohit / Gurfinkel, Arie / Ivrii, Alexander / Vizel, Yakir et al. | 2021
- 72
-
Single Clause Assumption without Activation Literals to Speed-up IC3Froleyks, Nils / Biere, Armin et al. | 2021
- 77
-
Logical Characterization of Coherent Uninterpreted ProgramsHari Govind, V K / Shoham, Sharon / Gurfinkel, Arie et al. | 2021
- 86
-
Data-driven Optimization of Inductive GeneralizationLe, Nham / Si, Xujie / Gurfinkel, Arie et al. | 2021
- 96
-
Model Checking AUTOSAR Components with CBMCDurand, Timothee / Fazekas, Katalin / Weissenbacher, Georg / Zwirchmayr, Jakob et al. | 2021
- 102
-
Automating System ConfigurationTsiskaridze, Nestan / Strange, Maxwell / Mann, Makai / Sreedhar, Kavya / Liu, Qiaoyi / Horowitz, Mark / Barrett, Clark et al. | 2021
- 112
-
Towards an Automatic Proof of Lamport’s PaxosGoel, Aman / Sakallah, Karem A. et al. | 2021
- 123
-
Refinement-Based Verification of Device-to-Device Information FlowDong, Ning / Guanciale, Roberto / Dam, Mads et al. | 2021
- 133
-
Celestial: A Smart Contracts Verification FrameworkDharanikota, Samvid / Mukherjee, Suvam / Bhardwaj, Chandrika / Rastogi, Aseem / Lal, Akash et al. | 2021
- 143
-
The Civl VerifierKragl, Bernhard / Qadeer, Shaz et al. | 2021
- 153
-
Synthesizing Pareto-Optimal Interpretations for Black-Box ModelsTorfah, Hazem / Shah, Shetal / Chakraborty, Supratik / Akshay, S. / Seshia, Sanjit A. et al. | 2021
- 163
-
Dynamic Partial Order Reductions for SpinloopsKokologiannakis, Michalis / Ren, Xiaowei / Vafeiadis, Viktor et al. | 2021
- 173
-
Robustness between Weak Memory ModelsChakraborty, Soham et al. | 2021
- 193
-
Towards Scalable Verification of Deep Reinforcement LearningAmir, Guy / Schapira, Michael / Katz, Guy et al. | 2021
- 204
-
Exploiting Isomorphic Subgraphs in SATIvrii, Alexander / Strichman, Ofer et al. | 2021
- 212
-
On Decomposition of Maximal Satisfiable SubsetsBendik, Jaroslav et al. | 2021
- 222
-
Designing Samplers is Easy: The Boon of TestersGolia, Priyanka / Soos, Mate / Chakraborty, Sourav / Meel, Kuldeep S. et al. | 2021
- 231
-
SAT-Inspired Eliminations for SuperpositionVukmirovic, Petar / Blanchette, Jasmin / Heule, Marijn J.H. et al. | 2021
- 241
-
SAT Solving in the Serverless CloudOzdemir, Alex / Wu, Haoze / Barrett, Clark et al. | 2021
- 256
-
Fair and Adventurous Enumeration of Quantifier InstantiationsJanota, Mikolas / Barbosa, Haniel / Fontaine, Pascal / Reynolds, Andrew et al. | 2021
- 261
-
Mathematical Programming Modulo StringsKumar, Ankit / Manolios, Panagiotis et al. | 2021
- 271
-
Lookahead in Partitioning SMTHyvarinen, Antti E. J. / Marescotti, Matteo / Sharygina, Natasha et al. | 2021
- 280
-
A Multithreaded Vampire with Shared Persistent GroundingRawson, Michael / Reger, Giles et al. | 2021
- c1
-
FMCAD 2021 Cover Page| 2021
- i
-
FMCAD 2021 Frontmatter Page| 2021
- ix
-
Table of Contents| 2021
- v
-
Preface| 2021
- vi
-
Organizing Committee| 2021
- vii
-
Program Committee| 2021
- viii
-
Additional Reviewers| 2021