|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Sotoudeh, Matthew ; Yedidia, Zachary | Automated Formal Verification of a Software Fault Isolation System | Inproceedings Konferenzbeitrag    | 2025 |
| 2 |  | Melchert, Jackson ; Terrill, Caleb ; Perez-Lopez, Aron Ricardo ; Barrett, Clark ; Raina, Priyanka | Automated Translation Validation of a Compiler for Statically Scheduled Accelerators | Inproceedings Konferenzbeitrag | 2025 |
| 3 |  | Kabra, Aditi ; Laurent, Jonathan ; Bharadwaj, Sagar ; Martins, Ruben ; Mitsch, Stefan ; Platzer, André | Can Large Language Models Autoformalize Kinematics? | Inproceedings Konferenzbeitrag | 2025 |
| 4 |  | Konrad, Alexander ; Scholl, Christoph | FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits | Inproceedings Konferenzbeitrag | 2025 |
| 5 |  | Schindler, Tanja ; Barnett, Lee | The FMCAD 2025 Student Forum | Inproceedings Konferenzbeitrag | 2025 |
| 6 |  | Kwan, Carl ; Xin, Yutong ; Young, William D. | A Formal Y86 Simulator with CHERI Features | Inproceedings Konferenzbeitrag | 2025 |
| 7 |  | Xia, Yuan ; Pingle, Aabja Shailesh ; Sur, Deepayan ; ravi, srivatsan ; Raghothaman, Mukund ; Deshmukh, Jyotirmoy V. | Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models | Inproceedings Konferenzbeitrag | 2025 |
| 8 |  | Biere, Armin ; Froleyks, Nils ; Preiner, Mathias | Hardware Model Checking Competition 2025 | Inproceedings Konferenzbeitrag | 2025 |
| 9 |  | Nazari, Amirmohammad ; Amini, Matin ; Raghothaman, Mukund | “How Does my Circuit Work?”: Local Explanations for the Behavior of Sequential Circuits | Inproceedings Konferenzbeitrag | 2025 |
| 10 |  | Narodytska, Nina | Integrating Large Language Models in Automated Program Verification | Inproceedings Konferenzbeitrag | 2025 |
| 11 |  | Shah, Amar ; Byrnes, Twain ; Reeves, Joseph ; Heule, Marijn | Learning Short Clauses via Conditional Autarkies | Inproceedings Konferenzbeitrag | 2025 |
| 12 |  | Park, Sewon ; Igarashi, Atsushi | Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops | Inproceedings Konferenzbeitrag | 2025 |
| 13 |  | Sohail, Yahya ; Hunt, Warren | A Method for the Verification of Memory Management Software in the Presence of TLBs | Inproceedings Konferenzbeitrag | 2025 |
| 14 |  | Barnett, Lee ; D’Antoni, Loris ; Goel, Amit ; Kıcı, Rami Gökhan ; Rungta, Neha ; Southern, Mary ; Sung, Chungha | Modeling the AWS Authorization Engine | Inproceedings Konferenzbeitrag | 2025 |
| 15 |  | Teuber, Samuel ; Lohar, Debasmita ; Beckert, Bernhard | Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision | Inproceedings Konferenzbeitrag | 2025 |
| 16 |  | Beutner, Raven ; Finkbeiner, Bernd | On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information | Inproceedings Konferenzbeitrag | 2025 |
| 17 |  | Hague, Matthew ; Hu, Denghang ; Jeż, Artur ; Lin, Anthony Widjaja ; Markgraf, Oliver ; Rümmer, Philipp ; Wu, Zhilin | OSTRICH2: Solver for Complex String Constraints | Inproceedings Konferenzbeitrag | 2025 |
| 18 |  | Wilson, Amalee ; Narodytska, Nina ; Barrett, Clark ; Wu, Haoze | Per-Instance Subproblem Generation for Strategy Selection in SMT | Inproceedings Konferenzbeitrag | 2025 |
| 19 |  | Chen, Pei-Wei ; Lin, Shaokai ; Godbole, Adwait ; Singh, Ramneet ; Polgreen, Elizabeth ; Lee, Edward ; Seshia, Sanjit | PolyVer: A Compositional Approach for Polyglot System Modeling and Verification | Inproceedings Konferenzbeitrag | 2025 |
| 20 |  | Tiwari, Ashish | Program Synthesis: Pre-LLM and Post-LLM | Inproceedings Konferenzbeitrag | 2025 |
