소프트웨어 무결점 연구센터

작성한 소프트웨어가 제대로 실행될 지를 미리 엄밀하게 확인해 주는 기술들은 있는가? 소프트웨어의 오류를 자동으로 미리 모두 찾아주는 기술들은 있는가? 소프트웨어 무결점 연구센터 (ROSAEC)는 이 질문에 대한 답들을 연구하고 그 결과를 실용화한다. 특히 소스 오류 자동 검출기, 소스 무결점 자동 검증기, 소스 특질 자동 추출기 등을 연구개발한다. 연구과정은 탄탄한 이론과 실용적인 산업화를 밀결합시켜 세계 선두의 원천 이론기술 뿐 아니라 산업화를 통한 실용화기술을 함께 달성해가고 있다.

  • 연구비 지원프로그램: 교육과학기술부/한국연구재단 지정 선도연구센터

사진