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:  hardware and system verification

Results 1-8 of 8 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Golia-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
2Hajdu-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
3Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTInproceedings Konferenzbeitrag Oct-2021
4Kumar-2021-Mathematical Programming Modulo Strings-vor.pdf.jpgKumar, Ankit ; Manolios, Panagiotis Mathematical Programming Modulo StringsInproceedings Konferenzbeitrag Oct-2021
5Rawson-2021-A Multithreaded Vampire with Shared Persistent Grounding-vor.pdf.jpgRawson, Michael ; Reger, Giles A Multithreaded Vampire with Shared Persistent GroundingInproceedings Konferenzbeitrag Oct-2021
6Bendik-2021-On Decomposition of Maximal Satisfiable Subsets-vor.pdf.jpgBendik, Jaroslav On Decomposition of Maximal Satisfiable SubsetsInproceedings Konferenzbeitrag Oct-2021
7Vukmirovic-2021-SAT-Inspired Eliminations for Superposition-vor.pdf.jpgVukmirović, Petar ; Blanchette, Jasmin ; Heule, Marijn SAT-Inspired Eliminations for SuperpositionInproceedings Konferenzbeitrag Oct-2021
8Amir-2021-Towards Scalable Verification of Deep Reinforcement Learning-vor.pdf.jpgAmir, Guy ; Schapira, Michael ; Katz, Guy Towards Scalable Verification of Deep Reinforcement LearningInproceedings Konferenzbeitrag Oct-2021