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

View Statistics Email Alert RSS Feed

Book details Buch-Details

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
 
DOI
10.34727/2021/isbn.978-3-85448-046-4
 

Publications Publikationen

Filter:
Subject:  formal methods

Results 1-20 of 26 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Vaandrager, Frits Active Automata Learning: from L* to L#Konferenzbeitrag Inproceedings Oct-2021
2Kamara, Seny Algorithms for the PeopleKonferenzbeitrag Inproceedings Oct-2021
3Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings Konferenzbeitrag Oct-2021
4Le-2021-Data-driven Optimization of Inductive Generalization-vor.pdf.jpgLe, Nham ; Si, Xujie ; Gurfinkel, Arie Data-driven Optimization of Inductive GeneralizationInproceedings Konferenzbeitrag Oct-2021
5Golia-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 Konferenzbeitrag Oct-2021
6Gao-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 Konferenzbeitrag Oct-2021
7Sewell-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 Konferenzbeitrag Oct-2021
8Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Konferenzbeitrag Oct-2021
9Santolucito-2021-The FMCAD 2021 Student Forum-vor.pdf.jpgSantolucito, Mark The FMCAD 2021 Student ForumKonferenzbeitrag Inproceedings Oct-2021
10Maffei, Matteo Formal Methods for the Security Analysis of Smart ContractsKonferenzbeitrag Inproceedings Oct-2021
11Liskov, Barbara From Viewstamped Replication to BlockchainsKonferenzbeitrag Inproceedings Oct-2021
12Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
13Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionBeitrag in Tagungsband Inproceedings Oct-2021
14Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTInproceedings Konferenzbeitrag Oct-2021
15Kumar-2021-Mathematical Programming Modulo Strings-vor.pdf.jpgKumar, Ankit ; Manolios, Panagiotis Mathematical Programming Modulo StringsInproceedings Konferenzbeitrag Oct-2021
16Rawson-2021-A Multithreaded Vampire with Shared Persistent Grounding-vor.pdf.jpgRawson, Michael ; Reger, Giles A Multithreaded Vampire with Shared Persistent GroundingInproceedings Konferenzbeitrag Oct-2021
17Bendik-2021-On Decomposition of Maximal Satisfiable Subsets-vor.pdf.jpgBendik, Jaroslav On Decomposition of Maximal Satisfiable SubsetsInproceedings Konferenzbeitrag Oct-2021
18Lahav-2021-Pruning and Slicing Neural Networks using Formal Verification-vor.pdf.jpgLahav, Ori ; Katz, Guy Pruning and Slicing Neural Networks using Formal VerificationInproceedings Konferenzbeitrag Oct-2021
19Dimitrova, Rayna Reactive Synthesis Beyond RealizabilityInproceedings Konferenzbeitrag Oct-2021
20Chakraborty-2021-Robustness between Weak Memory Models-vor.pdf.jpgChakraborty, Soham Robustness between Weak Memory ModelsInproceedings Konferenzbeitrag Oct-2021