In such cases, some of todays customers need serious evidence that there are no critical defects of any kind. 그들은 뭔가 다른 고수준 보증이 필요합니다. Ideally, all software would be high assurance, but ideally wed all live in mansions.