Runtime Verification 소프트웨어 무상 기증식 알림

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

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

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

Friday, January 13th 2017