미국의 최첨단 소프트웨어 동적분석툴 개발사인 Runtime Verification사에서 컴퓨터공학부에 관련 교육 활성화, 선진 기술 습득에 활용 가능하도록 RV 제품의 Academic 버전 무상기증을 받았습니다.

Runtime Verification Inc.는 미국 일리노이 어바나-샴페인 대학 (UIUC)의 Computer Science 학과의 Grigore Rosu 교수가 설립한 동적분석툴 스타트업 기업으로 소프트웨어 개발 및 테스팅에서 소프트웨어의 실행을 통해 소프트웨어에 내재된 오류를 분석하는 No.1 동적분석툴입니다.

또한 NASA, NSA, Boeing 등 선진 소프트웨어 기관으로부터 소프트웨어 분석에 있어 새로운 접근 방식을 정립하였다는 찬사를 받고 제품을 공급하였습니다.