


default search action
27th VMCAI 2026: Rennes, France
- Yu-Fang Chen

, Thomas P. Jensen
, Ondrej Lengál
:
Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings. Lecture Notes in Computer Science 16417, Springer 2026, ISBN 978-3-032-15699-0 - Bruno Andreotti

, Haniel Barbosa
:
Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver. 1-20 - Nathalie Bertrand

, Loïc Hélouët, Engel Lefaucheux
, Luca Paparazzo
:
Reachability in Multi-agent Transfer Systems. 21-43 - Youngchan Cho

, Robert Rand
:
Efficiently Verifying Quantum Programs with Few T Gates. 44-57 - Dana Fisman

, Noa Izsak
:
Atomic Gliders and Cellular Automata as Language Generators. 58-81 - Rui Guo, Yang Li, Xiuqing Cao, Wang Lin:

A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems. 82-98 - Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett

, Guy Katz:
Proof Minimization in Neural Network Verification. 99-124 - Marco Lewis

, Benoît Valiron:
Finding Photonics Circuits via δ-Weakening SMT. 125-146 - Andreas Lindner

, Karl Palmskog
, Scott Constable
, Mads Dam
, Roberto Guanciale
, Hamed Nemati
:
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification. 147-172 - Junjie Meng, Jie An

, Yong Li
, Andrea Turrini
, Miaomiao Zhang
:
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation. 173-196 - Raphaël Monat

:
Try-Mopsa: Relational Static Analysis in Your Pocket. 197-211 - Naïm Moussaoui Remil, Caterina Urban

:
Termination Resilience Static Analysis. 212-236 - Jan Onderka

, Stefan Ratschan
:
Input-Based Three-Valued Abstraction Refinement. 237-262 - Arshia Rafieioskouei, Kenneth Rogale

, Borzoo Bonakdarpour
:
Efficient Discovery of Actual Causality in Stochastic Systems. 263-286 - Ocan Sankur, Benoît Boyer, Florian Faissole:

Verification of Generic VHDL Designs and Their Translation to Rocq. 287-308 - Michael Schwarz

, Julian Erhard
:
Data Race Detection by Digest-Driven Abstract Interpretation. 309-334 - Byoungho Son

, Kyungmin Bae
:
A Formal Executable Semantics of PROMELA. 335-358 - Steffan Christ Sølvsten

, Jaco van de Pol
:
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. 359-382 - Nick Waddoups

, Jonah Boe
, Arnd Hartmanns
, Prabal Basu
, Sanghamitra Roy
, Koushik Chakraborty
, Zhen Zhang
:
Probabilistic Verification for Modular Network-on-Chip Systems. 383-407

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














