CAV 2025

CAV는 International Conference on Computer Aided Verification의 약자입니다. 이 학술대회는 하드웨어 및 소프트웨어 시스템을 위한 컴퓨터 지원 형식 분석 방법에 대한 이론과 실제를 발전시키는 데 전념하는 일련의 학술대회 중 37번째 학술대회입니다. 이 컨퍼런스에서는 이론적 결과부터 구체적인 응용 프로그램까지 모든 것을 다루었으며, 실용적인 검증 도구와 이를 구현하는 데 필요한 알고리즘 및 기술에 초점을 맞췄습니다. CAV는 머신 러닝, 자율 시스템, 컴퓨터 보안 등 새로운 분야로 확장하는 동시에 하드웨어 및 소프트웨어 검증의 경계를 지속적으로 넓히는 것이 중요하다고 생각합니다. 학회 발표문은 Springer-Verlag의 컴퓨터 과학 강의 노트 시리즈에 게재됩니다. 일부 논문은 "시스템 설계의 형식적 방법론"과 "ACM 저널"의 특별호에 게재될 것으로 예상됩니다.