Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Book title Buchtitel
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
 
ISBN
978-3-85448-046-4
 
Publisher Herausgeber
TU Wien Academic Press
 
Place of publishing Erscheinungsort
Wien
 
First Edition Erstausgabe
 
DOI
10.34727/2021/isbn.978-3-85448-046-4
 

Publications Publikationen

Results 1-20 of 38 (Search time: 0.013 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Vaandrager, Frits Active Automata Learning: from L* to L#Inproceedings Oct-2021
2Kamara, Seny Algorithms for the PeopleInproceedings Oct-2021
3Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Oct-2021
4Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkInproceedings Oct-2021
5Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings Oct-2021
6Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierInproceedings Oct-2021
7Le-2021-Data-driven Optimization of Inductive Generalization-vor.pdf.jpgLe, Nham ; Si, Xujie ; Gurfinkel, Arie  Data-driven Optimization of Inductive GeneralizationInproceedings Konferenzbeitrag Oct-2021
8Golia-2021-Designing Samplers is Easy The Boon of Testers-vor.pdf.jpgGolia, Priyanka ; Soos, Mate ; Chakraborty, Sourav ; Meel, Kuldeep S. Designing Samplers is Easy: The Boon of TestersInproceedings Oct-2021
9Kokologiannakis-2021-Dynamic Partial Order Reductions for Spinloops-vor.pdf.jpgKokologiannakis, Michalis ; Ren, Xiaowei ; Vafeiadis, Viktor Dynamic Partial Order Reductions for SpinloopsInproceedings Oct-2021
10Gao-2021-End-to-End Formal Verification of a RISC-V Processor Extended wi...-vor.pdf.jpgGao, Dapeng ; Melham, Tom End-to-End Formal Verification of a RISC-V Processor Extended with Capability PointersInproceedings Oct-2021
11Sewell-2021-Engineering with Full-scale Formal Architecture Morello, CHER...-vor.pdf.jpgSewell, Peter Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-VInproceedings Oct-2021
12Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Oct-2021
13Janota-2021-Fair and Adventurous Enumeration of Quantifier Instantiations-vor.pdf.jpgJanota, Mikoláš  ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew Fair and Adventurous Enumeration of Quantifier InstantiationsInproceedings Oct-2021
14Santolucito-2021-The FMCAD 2021 Student Forum-vor.pdf.jpgSantolucito, Mark  The FMCAD 2021 Student ForumInproceedings Oct-2021
15Maffei, Matteo Formal Methods for the Security Analysis of Smart ContractsInproceedings Oct-2021
16Liskov, Barbara From Viewstamped Replication to BlockchainsInproceedings Oct-2021
17Kama-2021-Hardware Security Leak Detection by Symbolic Simulation-vor.pdf.jpgKama, Neta Bar ; Kaivola, Roope Hardware Security Leak Detection by Symbolic SimulationInproceedings Oct-2021
18Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie  ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
19Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionInproceedings Oct-2021
20Govind V K-2021-Logical Characterization of Coherent Uninterpreted Programs-vor.pdf.jpgGovind V K, Hari ; Shoham, Sharon ; Gurfinkel, Arie  Logical Characterization of Coherent Uninterpreted ProgramsInproceedings Konferenzbeitrag Oct-2021