| | 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 ![peer reviewed](/image/PeerReview_Icon.png) | 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 ![peer reviewed](/image/PeerReview_Icon.png) | 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-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpg](/retrieve/195056/Kaivola-2022-Timed%20Causal%20Fanin%20Analysis%20for%20Symbolic%20Circuit%20Simulation-vor.pdf.jpg) | Kaivola, Roope ; Bar Kama, Neta ; Griggio, Alberto ; Rungta, Neha | Timed Causal Fanin Analysis for Symbolic Circuit Simulation | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 10 | ![Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpg](/retrieve/195058/Nair-2022-Proof-StitchProof%20Combination%20for%20Divide-and-Conquer%20SAT%20Solvers-vor.pdf.jpg) | 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 ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 11 | ![Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpg](/retrieve/195080/Lohn-2022-Compact%20Symmetry%20Breaking%20for%20Tournaments-vor.pdf.jpg) | Lohn, Evan ; Lambert, Chris ; Heule, Marijn ; Griggio, Alberto ; Rungta, Neha | Compact Symmetry Breaking for Tournaments | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 12 | ![Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpg](/retrieve/195060/Preiner-2022-The%20FMCAD%202022%20Student%20Forum-vor.pdf.jpg) | Preiner, Mathias ; Griggio, Alberto ; Rungta, Neha | The FMCAD 2022 Student Forum | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 13 | ![Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpg](/retrieve/195062/Amir-2022-Verification-Aided%20Deep%20Ensemble%20Selection-vor.pdf.jpg) | Amir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha | Verification-Aided Deep Ensemble Selection | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 14 | ![Andronick-2022-The seL4 Verification Journey How Have the Challenges and ...-vor.pdf.jpg](/retrieve/195072/Andronick-2022-The%20seL4%20Verification%20Journey%20How%20Have%20the%20Challenges%20and%20...-vor.pdf.jpg) | Andronick, June ; Griggio, Alberto ; Rungta, Neha | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 15 | ![Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpg](/retrieve/195078/Priya-2022-Bounded%20Model%20Checking%20for%20LLVM-vor.pdf.jpg) | Priya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie ; Griggio, Alberto ; Rungta, Neha | Bounded Model Checking for LLVM | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 16 | ![Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpg](/retrieve/195183/Raghunathan-2022-ACORN%20Network%20Control%20Plane%20Abstraction%20using%20Route%20Nond...-vor.pdf.jpg) | Raghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ; Griggio, Alberto ; Rungta, Neha | ACORN Network Control Plane Abstraction using Route Nondeterminism | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 17 | ![Hjort-2022-On Applying Model Checking in Formal Verification-vor.pdf.jpg](/retrieve/195074/Hjort-2022-On%20Applying%20Model%20Checking%20in%20Formal%20Verification-vor.pdf.jpg) | Hjort, Håkan ; Griggio, Alberto ; Rungta, Neha | On Applying Model Checking in Formal Verification | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 18 | ![Walter-2022-Enumerative Data Types with Constraints-vor.pdf.jpg](/retrieve/195076/Walter-2022-Enumerative%20Data%20Types%20with%20Constraints-vor.pdf.jpg) | Walter, Andrew T. ; Greve, David ; Manolios, Panagiotis ; Griggio, Alberto ; Rungta, Neha | Enumerative Data Types with Constraints | Konferenzbeitrag Inproceedings ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 19 | ![Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpg](/retrieve/195181/Bucev-2022-Formally%20Verified%20Quite%20OK%20Image%20Format-vor.pdf.jpg) | Bucev, Mario ; Kunčak, Viktor ; Griggio, Alberto ; Rungta, Neha | Formally Verified Quite OK Image Format | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |
| 20 | ![Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpg](/retrieve/195179/Godbole-2022-Automated%20Conversion%20of%20Axiomatic%20to%20Operational%20Models%20Theo...-vor.pdf.jpg) | Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. ; Griggio, Alberto ; Rungta, Neha | Automated Conversion of Axiomatic to Operational Models: Theory and Practice | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | Oct-2022 |