배경민 교수가 이끄는 소프트웨어 검증 연구실은
소프트웨어 오류를 방지하고 신뢰성과 안전성을 높이는 기술과 이론, 알고리즘, 도구를 개발하고 있다.
지금까지는 소프트웨어의 동작을 시험하기 위해서 개발자가 수작업으로 실행 결과가 올바른지를 확인하는 방법이 활용되어 왔다.

자세히 보기