|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Kaivola, Roope ; Bar Kama, Neta | Timed Causal Fanin Analysis for Symbolic Circuit Simulation | Konferenzbeitrag Inproceedings    | Oct-2022 |
| 2 |  | Nair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark | Proof-Stitch_Proof Combination for Divide-and-Conquer SAT Solvers | Konferenzbeitrag Inproceedings | Oct-2022 |
| 3 |  | Lohn, Evan ; Lambert, Chris ; Heule, Marijn | Compact Symmetry Breaking for Tournaments | Konferenzbeitrag Inproceedings | Oct-2022 |
| 4 |  | Preiner, Mathias | The FMCAD 2022 Student Forum | Konferenzbeitrag Inproceedings | Oct-2022 |
| 5 |  | Amir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael | Verification-Aided Deep Ensemble Selection | Konferenzbeitrag Inproceedings | Oct-2022 |
| 6 |  | Priya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie | Bounded Model Checking for LLVM | Konferenzbeitrag Inproceedings | Oct-2022 |
| 7 |  | Hjort, Håkan | On Applying Model Checking in Formal Verification | Konferenzbeitrag Inproceedings | Oct-2022 |
| 8 |  | Walter, Andrew T. ; Greve, David ; Manolios, Panagiotis | Enumerative Data Types with Constraints | Konferenzbeitrag Inproceedings | Oct-2022 |
| 9 |  | Bucev, Mario ; Kunčak, Viktor | Formally Verified Quite OK Image Format | Inproceedings Konferenzbeitrag | Oct-2022 |
| 10 |  | Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. | Automated Conversion of Axiomatic to Operational Models: Theory and Practice | Inproceedings Konferenzbeitrag | Oct-2022 |
| 11 |  | Noetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare | Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language | Konferenzbeitrag Inproceedings | Oct-2022 |
| 12 |  | Palmskog, Karl ; Yao, Xiaomo ; Dong, Ning ; Guanciale, Roberto ; Dam, Mads | Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution | Konferenzbeitrag Inproceedings | Oct-2022 |
| 13 |  | Isac, Omri ; Barrett, Clark ; Zhang, Min ; Katz, Guy | Neural Network Verification with Proof Production | Konferenzbeitrag Inproceedings | Oct-2022 |
| 14 |  | Zelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy | On Optimizing Back-Substitution Methods for Neural Network Verification | Konferenzbeitrag Inproceedings | Oct-2022 |
| 15 |  | Lööw, Andreas | Reconciling Verified-Circuit Development and Verilog Development | Konferenzbeitrag Inproceedings | Oct-2022 |
| 16 |  | Konrad, Alexander ; Scholl, Christoph ; Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf | Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization | Konferenzbeitrag Inproceedings | Oct-2022 |
| 17 |  | Chen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony | Reducing NEXP-complete problems to DQBF | Konferenzbeitrag Inproceedings | Oct-2022 |
| 18 |  | Kheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste | Automating Geometric Proofs of Collision Avoidance with Active Corners | Inproceedings Konferenzbeitrag | Oct-2022 |
| 19 |  | Daly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat | Synthesizing Instruction Selection Rewrite Rules from RTL using SMT | Konferenzbeitrag Inproceedings | Oct-2022 |
| 20 |  | Yang, Suwei ; Liang, Victor ; Meel, Kuldeep S. | INC A Scalable Incremental Weighted Sampler | Konferenzbeitrag Inproceedings | Oct-2022 |
