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

Results 21-38 of 38 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTInproceedings Konferenzbeitrag Oct-2021
22Kumar-2021-Mathematical Programming Modulo Strings-vor.pdf.jpgKumar, Ankit ; Manolios, Panagiotis Mathematical Programming Modulo StringsInproceedings Konferenzbeitrag Oct-2021
3Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Konferenzbeitrag Oct-2021
4Rawson-2021-A Multithreaded Vampire with Shared Persistent Grounding-vor.pdf.jpgRawson, Michael ; Reger, Giles A Multithreaded Vampire with Shared Persistent GroundingInproceedings Konferenzbeitrag Oct-2021
5Bendik-2021-On Decomposition of Maximal Satisfiable Subsets-vor.pdf.jpgBendik, Jaroslav On Decomposition of Maximal Satisfiable SubsetsInproceedings Konferenzbeitrag Oct-2021
6Lahav-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
7Dimitrova, Rayna Reactive Synthesis Beyond RealizabilityInproceedings Konferenzbeitrag Oct-2021
8Dong-2021-Refinement-Based Verification of Device-to-Device Information Flow-vor.pdf.jpgDong, Ning ; Guanciale, Roberto ; Dam, Mads Refinement-Based Verification of Device-to-Device Information FlowInproceedings Konferenzbeitrag Oct-2021
9Chakraborty-2021-Robustness between Weak Memory Models-vor.pdf.jpgChakraborty, Soham Robustness between Weak Memory ModelsInproceedings Konferenzbeitrag Oct-2021
10Ozdemir-2021-SAT Solving in the Serverless Cloud-vor.pdf.jpgOzdemir, Alex ; Wu, Haoze ; Barrett, Clark SAT Solving in the Serverless CloudInproceedings Konferenzbeitrag Oct-2021
11Vukmirovic-2021-SAT-Inspired Eliminations for Superposition-vor.pdf.jpgVukmirović, Petar ; Blanchette, Jasmin ; Heule, Marijn SAT-Inspired Eliminations for SuperpositionInproceedings Konferenzbeitrag Oct-2021
12Chattopadhyay-2021-Scaling Up Hardware Accelerator Verification using A-Q...-vor.pdf.jpgChattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionInproceedings Konferenzbeitrag Oct-2021
13Froleyks-2021-Single Clause Assumption without Activation Literals to Spe...-vor.pdf.jpgFroleyks, Nils ; Biere, Armin Single Clause Assumption without Activation Literals to Speed-up IC3Inproceedings Konferenzbeitrag Oct-2021
14Temel-2021-Sound and Automated Verification of Real-World RTL Multipliers-vor.pdf.jpgTemel, Mertcan ; Hunt, Warren A., Jr. Sound and Automated Verification of Real-World RTL MultipliersInproceedings Konferenzbeitrag Oct-2021
15Kuncak-2021-Stainless Verification System Tutorial-vor.pdf.jpgKunčak, Viktor ; Hamza, Jad Stainless Verification System TutorialInproceedings Konferenzbeitrag Oct-2021
16Torfah-2021-Synthesizing Pareto-Optimal Interpretations for Black-Box Models-vor.pdf.jpgTorfah, Hazem ; Shah, Shetal ; Chakraborty, Supratik ; Akshay, S. ; Seshia, Sanjit A. Synthesizing Pareto-Optimal Interpretations for Black-Box ModelsInproceedings Konferenzbeitrag Sep-2021
17Goel-2021-Towards an Automatic Proof of Lamports Paxos-vor.pdf.jpgGoel, Aman ; Sakallah, Karem Towards an Automatic Proof of Lamport's PaxosInproceedings Konferenzbeitrag Oct-2021
18Amir-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