logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
V

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026

IF
论文数18
被引数
期刊论文 18
发表时间
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
delete分享
delete收藏
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
delete分享
delete收藏
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation基于SAT的极小确定性实时自动机的3DRTA表示合成
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMeng, Junjie; An, Jie; Li, Yong; Turrini, Andrea; Zhang, Miaomiao
delete分享
delete收藏
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
delete分享
delete收藏
Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver在先进SMT求解器中生成更短的合同闭包证明
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteAndreotti, Bruno; Barbosa, Haniel
delete分享
delete收藏
A Formal Executable Semantics of PROMELAPROMELA的形式可执行语义
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSon, Byoungho; Bae, Kyungmin
delete分享
delete收藏
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
delete分享
delete收藏
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping基于嵌套扫描的外部存储器中BDDs的多变量量化
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSolvsten, Steffan Christ; van de Pol, Jaco
delete分享
delete收藏
Verification of Generic VHDL Designs and Their Translation to Rocq通用VHDL设计验证及其到Rocq的翻译
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSankur, Ocan; Boyer, Benoit; Faissole, Florian
delete分享
delete收藏
Efficiently Verifying Quantum Programs with Few T Gates高效验证包含少量T门的量子程序
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteCho, Youngchan; Rand, Robert
delete分享
delete收藏
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
delete分享
delete收藏
Termination Resilience Static Analysis终止鲁棒性静态分析
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteRemil, Naim Moussaoui; Urban, Caterina
delete分享
delete收藏
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
delete分享
delete收藏
Finding Photonics Circuits via δ-Weakening SMT通过δ-弱化SMT寻找光子学电路
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLewis, Marco; Valiron, Benoit
delete分享
delete收藏
Try-Mopsa: Relational Static Analysis in Your PocketTry-Mopsa：口袋里的关系静态分析
deleteVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMonat, Raphael
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏
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
delete分享
delete收藏