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 · 메인 연구 트랙
연도
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%
메인 연구 트랙
투고 및 채택 추세
공유하기
×
Bluesky
Facebook
LinkedIn
Reddit
X / Twitter
페이지 링크 복사