검증된 배포 소프트웨어 시스템의 교훈(확장판)

실제 사용을 위해 배포된 다양한 분야의 검증 소프트웨어 시스템들을 분석하여 산업계가 형식 검증 기술과 도구로부터 얻을 수 있는 교훈을 제시한다.