|
| | Preview | Author(s) | Title | Type | Issue Date |
| 121 |  | 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 |
| 122 |  | Bryant, Randal | TBUDDY: A Proof-Generating BDD Package | Konferenzbeitrag Inproceedings | Oct-2022 |
| 123 |  | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Stratified Certification for k-Induction | Konferenzbeitrag Inproceedings | Oct-2022 |
| 124 |  | 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 |
| 125 |  | Lohn, Evan ; Lambert, Chris ; Heule, Marijn | Compact Symmetry Breaking for Tournaments | Konferenzbeitrag Inproceedings | Oct-2022 |
| 126 |  | Padon, Oded | Verification of Distributed Protocols: Decidable Modeling and Invariant Inference | Konferenzbeitrag Inproceedings | Oct-2022 |
| 127 |  | Preiner, Mathias | The FMCAD 2022 Student Forum | Konferenzbeitrag Inproceedings | Oct-2022 |
| 128 |  | 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 |
| 129 |  | Jonsson, Bengt ; Lång, Magnus ; Sagonas, Konstantinos | Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing Happens | Inproceedings Konferenzbeitrag | Oct-2022 |
| 130 | | Jaroschek, Maximilian ; Kauers, Manuel ; Kovács, Laura | Lonely Points in Simplices | Article Artikel | 29-Sep-2022 |
| 131 | | Kovacs, Laura | Getting Saturated with Induction | Presentation Vortrag | 29-Sep-2022 |
| 132 | | Kovacs, Laura | Algebra-Based Analysis of Polynomial Probabilistic Programs | Presentation Vortrag | 22-Sep-2022 |
| 133 | | Eisenhofer, Clemens | User-Propagation for Custom Theories in SMT Solving | Presentation Vortrag | 14-Sep-2022 |
| 134 | | Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia | Distribution Estimation for Probabilistic Loops | Inproceedings Konferenzbeitrag | 12-Sep-2022 |
| 135 | | Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly | PolySAT - a word-level solver for large bitvectors | Presentation Vortrag | 1-Sep-2022 |
| 136 | | Pagel, Jens ; Zuleger, Florian | Strong-separation Logic (Extended Version) | Article Artikel | Sep-2022 |
| 137 |  | Hajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei | The Vampire Approach to Induction (short paper) | Inproceedings Konferenzbeitrag | 31-Aug-2022 |
| 138 |  | Rawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles | Reuse of Introduced Symbols in Automatic Theorem Provers | Inproceedings Konferenzbeitrag | 31-Aug-2022 |
| 139 | | Kenison, George | On the Skolem Problem for Reversible Sequences | Inproceedings Konferenzbeitrag | 22-Aug-2022 |
| 140 |  | Bjorner, Nikolaj ; Eisenhofer, Clemens ; Kovacs, Laura | User-Propagation for Custom Theories in SMT Solving | Inproceedings Konferenzbeitrag | 14-Aug-2022 |
