logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
V

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026

IF
Papers18
Citations
Journal Papers 18
Publication Date
delete
Input-Based Three-Valued Abstraction Refinement
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteOnderka, Jan; Ratschan, Stefan
deleteShare
deleteSave
Reachability in Multi-agent Transfer Systems
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteBertrand, Nathalie; Helouet, Loic; Lefaucheux, Engel; Paparazzo, Luca
deleteShare
deleteSave
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMeng, Junjie; An, Jie; Li, Yong; Turrini, Andrea; Zhang, Miaomiao
deleteShare
deleteSave
Proof Minimization in Neural Network Verification
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteIsac, Omri; Refaeli, Idan; Wu, Haoze; Barrett, Clark; Katz, Guy
deleteShare
deleteSave
Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteAndreotti, Bruno; Barbosa, Haniel
deleteShare
deleteSave
A Formal Executable Semantics of PROMELA
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSon, Byoungho; Bae, Kyungmin
deleteShare
deleteSave
A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteGuo, Rui; Li, Yang; Cao, Xiuqing; Lin, Wang
deleteShare
deleteSave
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSolvsten, Steffan Christ; van de Pol, Jaco
deleteShare
deleteSave
Verification of Generic VHDL Designs and Their Translation to Rocq
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSankur, Ocan; Boyer, Benoit; Faissole, Florian
deleteShare
deleteSave
Efficiently Verifying Quantum Programs with Few T Gates
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteCho, Youngchan; Rand, Robert
deleteShare
deleteSave
Probabilistic Verification for Modular Network-on-Chip Systems
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteWaddoups, Nick; Boe, Jonah; Hartmanns, Arnd; Basu, Prabal; Roy, Sanghamitra; Chakraborty, Koushik; Zhang, Zhen
deleteShare
deleteSave
Termination Resilience Static Analysis
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteRemil, Naim Moussaoui; Urban, Caterina
deleteShare
deleteSave
Efficient Discovery of Actual Causality in Stochastic Systems
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteRafieioskouei, Arshia; Rogale, Kenneth; Bonakdarpour, Borzoo
deleteShare
deleteSave
Finding Photonics Circuits via δ-Weakening SMT
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLewis, Marco; Valiron, Benoit
deleteShare
deleteSave
Try-Mopsa: Relational Static Analysis in Your Pocket
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMonat, Raphael
deleteShare
deleteSave
Atomic Gliders and Cellular Automata as Language Generators
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteFisman, Dana; Izsak, Noa
deleteShare
deleteSave
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLindner, Andreas; Palmskog, Karl; Constable, Scott; Dam, Mads; Guanciale, Roberto; Nemati, Hamed
deleteShare
deleteSave
Data Race Detection by Digest-Driven Abstract Interpretation
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSchwarz, Michael; Erhard, Julian
deleteShare
deleteSave