‘컴퓨터 시스템 검증’ 분야 저명 국제학회 ‘CAV 2022’ 논문 선정[배경민 교수]

POSTECH 컴퓨터공학과 배경민 교수는 컴퓨터 시스템 검증 분야에서 가장 저명한 최우수 국제학회인 International Conference on Computer Aided Verification (CAV 2022)에 논문이 선정되어 오는 8월 ‘CAV 2022’에서 발표할 예정이다.

시그널 시제논리의 모델검증을 위한 이론과 알고리즘을 2019년 최초로 제안하여 여러 최우수 국제 학술대회에서 성과를 인정 받아왔으며, 본 논문에서는 측정되는 시그널 값의 오류가 존재해도 주어진 한계 값 이내에서 모델검증을 수행할 수 있는 새로운 기술과 도구를 제안하였으며 다양한 벤치마크를 통해서 성능을 입증하여, 관련 분야 연구를 선도했다는 평가를 받고 있다.

[기사 전문보기]