| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura ; Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo | Satisfiability Modulo Custom Theories in Z3 | Inproceedings Konferenzbeitrag  | Jan-2023 |
| 2 | | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Raskin, Jean-Francois ; Chatterjee, Krishnendu ; Doyen, Laurent ; Majumdar, Rupak | Getting Saturated with Induction | Book Contribution Buchbeitrag | 29-Dec-2022 |
| 3 | | Kovacs, Laura | First-Order Theorem Proving and Vampire | Presentation Vortrag | 6-Dec-2022 |
| 4 | | Rawson, Michael | Linear Refutation and Clause Splitting | Preprint Preprint | 5-Dec-2022 |
| 5 | | Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura | This Is the Moment for Probabilistic Loops | Article Artikel  | 31-Oct-2022 |
| 6 | | Kovacs, Laura | Symbolic Computation for Software Analysis | Presentation Vortrag | 25-Oct-2022 |
| 7 | | Varonka, Anton ; Kovacs, Laura | On the Undecidability of Loop Analysis | Presentation Vortrag | 12-Oct-2022 |
| 8 | | Kovacs, Laura | First-Order Theorem Proving - Theory and Practice | Presentation Vortrag | 10-Oct-2022 |
| 9 |  | Kaivola, Roope ; Bar Kama, Neta ; Griggio, Alberto ; Rungta, Neha | Timed Causal Fanin Analysis for Symbolic Circuit Simulation | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 10 |  | Nair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark ; Griggio, Alberto ; Rungta, Neha | Proof-Stitch_Proof Combination for Divide-and-Conquer SAT Solvers | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 11 |  | Lohn, Evan ; Lambert, Chris ; Heule, Marijn ; Griggio, Alberto ; Rungta, Neha | Compact Symmetry Breaking for Tournaments | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 12 |  | Preiner, Mathias ; Griggio, Alberto ; Rungta, Neha | The FMCAD 2022 Student Forum | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 13 |  | Amir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha | Verification-Aided Deep Ensemble Selection | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 14 |  | Andronick, June ; Griggio, Alberto ; Rungta, Neha | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 15 |  | Priya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie ; Griggio, Alberto ; Rungta, Neha | Bounded Model Checking for LLVM | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 16 |  | Raghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ; Griggio, Alberto ; Rungta, Neha | ACORN Network Control Plane Abstraction using Route Nondeterminism | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 17 |  | Hjort, Håkan ; Griggio, Alberto ; Rungta, Neha | On Applying Model Checking in Formal Verification | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 18 |  | Walter, Andrew T. ; Greve, David ; Manolios, Panagiotis ; Griggio, Alberto ; Rungta, Neha | Enumerative Data Types with Constraints | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 19 |  | Bucev, Mario ; Kunčak, Viktor ; Griggio, Alberto ; Rungta, Neha | Formally Verified Quite OK Image Format | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 20 |  | Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. ; Griggio, Alberto ; Rungta, Neha | Automated Conversion of Axiomatic to Operational Models: Theory and Practice | Inproceedings Konferenzbeitrag  | Oct-2022 |