1344.178 소프트웨어 안전 분석과 안전 관련 소프트웨어 검증 (Software Safety Analysis and Safety-Related Software Verification)