|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Andronick, June | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved | Konferenzbeitrag Inproceedings    | Oct-2022 |
| 2 |  | Rath, Jakob ; Biere, Armin ; Kovács, Laura | First-Order Subsumption via SAT Solving | Konferenzbeitrag Inproceedings | Oct-2022 |
| 3 |  | Georgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovács, Laura ; Reger, Giles | The RAPID Software Verification Framework | Konferenzbeitrag Inproceedings | Oct-2022 |
| 4 |  | Priya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie | Bounded Model Checking for LLVM | Konferenzbeitrag Inproceedings | Oct-2022 |
| 5 |  | Kalita, Pankaj Kumar ; Kumar, Miriyala Jeevan ; Roy, Subhajit | Synthesis of Semantic Actions in Attribute Grammars | Inproceedings Konferenzbeitrag | Oct-2022 |
| 6 |  | Walter, Andrew T. ; Greve, David ; Manolios, Panagiotis | Enumerative Data Types with Constraints | Konferenzbeitrag Inproceedings | Oct-2022 |
| 7 |  | Zhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar | Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications | Konferenzbeitrag Inproceedings | Oct-2022 |
| 8 |  | Yang, Suwei ; Liang, Victor ; Meel, Kuldeep S. | INC A Scalable Incremental Weighted Sampler | Konferenzbeitrag Inproceedings | Oct-2022 |
| 9 |  | Chen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony | Reducing NEXP-complete problems to DQBF | Konferenzbeitrag Inproceedings | Oct-2022 |
| 10 |  | Schlichtkrull, Anders ; Schou, Morten Konggaard ; Srba, Jiri ; Traytel, Dmitriy | Differential Testing of Pushdown Reachability with a Formally Verified Oracle | Inproceedings Konferenzbeitrag | Oct-2022 |
| 11 |  | Esen, Zafer ; Ruemmer, Philipp | TRICERA Verifying C Programs Using the Theory of Heaps | Inproceedings Konferenzbeitrag | Oct-2022 |
| 12 |  | Schultz, William ; Dardik, Ian ; Tripakis, Stavros | Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+ | Inproceedings Konferenzbeitrag | Oct-2022 |
| 13 |  | Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. | Automated Conversion of Axiomatic to Operational Models: Theory and Practice | Inproceedings Konferenzbeitrag | Oct-2022 |
| 14 |  | Blicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha | Split Transition Power Abstraction for Unbounded Safety | Inproceedings Konferenzbeitrag | Oct-2022 |
| 15 |  | Maderbacher, Benedikt ; Bloem, Roderick | Reactive Synthesis Modulo Theories using Abstraction Refinement | Inproceedings Konferenzbeitrag | Oct-2022 |
| 16 |  | Kheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste | Automating Geometric Proofs of Collision Avoidance with Active Corners | Inproceedings Konferenzbeitrag | Oct-2022 |
| 17 |  | Konrad, Alexander ; Scholl, Christoph ; Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf | Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization | Inproceedings Konferenzbeitrag | Oct-2022 |
| 18 |  | Lööw, Andreas | Reconciling Verified-Circuit Development and Verilog Development | Konferenzbeitrag Inproceedings | Oct-2022 |
| 19 |  | Kaivola, Roope ; Bar Kama, Neta | Timed Causal Fanin Analysis for Symbolic Circuit Simulation | Konferenzbeitrag Inproceedings | Oct-2022 |
| 20 |  | Flatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel | Small Proofs from Congruence Closure | Konferenzbeitrag Inproceedings | Oct-2022 |
