VMCAI 2026
18 papers
- A Formal Executable Semantics of PROMELA
- A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems
- Atomic Gliders and Cellular Automata as Language Generators
- Data Race Detection by Digest-Driven Abstract Interpretation
- Efficient Discovery of Actual Causality in Stochastic Systems
- Efficiently Verifying Quantum Programs with Few T Gates
- Finding Photonics Circuits via δ-Weakening SMT
- Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
- Input-Based Three-Valued Abstraction Refinement
- Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
- Probabilistic Verification for Modular Network-on-Chip Systems
- Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver
- Proof Minimization in Neural Network Verification
- Reachability in Multi-agent Transfer Systems
- SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
- Termination Resilience Static Analysis
- Try-Mopsa: Relational Static Analysis in Your Pocket
- Verification of Generic VHDL Designs and Their Translation to Rocq