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%

메인 연구 트랙

투고 및 채택 추세