뉴스

[랩큐멘터리] 소프트웨어 검증 연구실 (Software Verification Lab)

2021-10-28
399

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

자세히 보기

※ 동아사이언스는 210개에 이르는 연구실을 보유한 포스텍과 함께 누구나 쉽게 연구를 이해할 수 있도록 2분 분량의 연구실 다큐멘터리, 랩큐멘터리를 매주 화요일과 목요일 소개하고 있습니다.

목록