default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th 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.
last updated on 2026-06-10 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
