Skip to main content
ALL
全部研究领域
AI
人工智能
CHI
人机交互与普适计算
DM
数据库、数据挖掘与内容检索
GM
计算机图形学与多媒体
NET
计算机网络
NEW
交叉、综合与新兴领域
SEC
网络与信息安全
SW
软件工程、系统软件与程序设计语言
SYS
计算机体系结构、并行计算与存储系统
TH
计算机科学理论
中文
한국어
EN
OpenAccept
.org
菜单
首页
贡献数据
关于
返回
首页
/
会议
/
CAV
International Conference on Computer-Aided Verification
(CAV)
最新记录
2025 · 主Track
年份
2025
投稿量
305
接收量
79
接收率
25.90%
Main Track
历史统计
年份
投稿量
接收量
接收率
2025
305
79
25.90%
2024
317
69
21.77%
2023
261
67
25.67%
2022
209
51
24.40%
2021
290
79
27.24%
2020
240
65
27.08%
2019
258
67
25.97%
2018
215
65
30.23%
2017
191
57
29.84%
2016
195
58
29.74%
2015
252
69
27.38%
2014
229
57
24.89%
2013
209
70
33.49%
主Track
投稿与接收趋势
分享到
×
Bluesky
Facebook
LinkedIn
Reddit
X / Twitter
复制页面链接