| 2026 | A Formal Executable Semantics of PROMELA. Byoungho Son, Kyungmin Bae |
| 2026 | A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems. Rui Guo, Yang Li, Xiuqing Cao, Wang Lin |
| 2026 | Atomic Gliders and Cellular Automata as Language Generators. Dana Fisman, Noa Izsak |
| 2026 | Data Race Detection by Digest-Driven Abstract Interpretation. Michael Schwarz, Julian Erhard |
| 2026 | Efficient Discovery of Actual Causality in Stochastic Systems. Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour |
| 2026 | Efficiently Verifying Quantum Programs with Few T Gates. Youngchan Cho, Robert Rand |
| 2026 | Finding Photonics Circuits via δ-Weakening SMT. Marco Lewis, Benoît Valiron |
| 2026 | Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification. Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2026 | Input-Based Three-Valued Abstraction Refinement. Jan Onderka, Stefan Ratschan |
| 2026 | Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. Steffan Christ Sølvsten, Jaco van de Pol |
| 2026 | Probabilistic Verification for Modular Network-on-Chip Systems. Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang |
| 2026 | Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver. Bruno Andreotti, Haniel Barbosa |
| 2026 | Proof Minimization in Neural Network Verification. Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz |
| 2026 | Reachability in Multi-agent Transfer Systems. Nathalie Bertrand, Loïc Hélouët, Engel Lefaucheux, Luca Paparazzo |
| 2026 | SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation. Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang |
| 2026 | Termination Resilience Static Analysis. Naïm Moussaoui Remil, Caterina Urban |
| 2026 | Try-Mopsa: Relational Static Analysis in Your Pocket. Raphaël Monat |
| 2026 | Verification of Generic VHDL Designs and Their Translation to Rocq. Ocan Sankur, Benoît Boyer, Florian Faissole |
| 2026 | Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings Yu-Fang Chen, Thomas P. Jensen, Ondrej Lengál |