Verus 계약 충족과 의도된 동작 불일치를 찾는 완전성 감사법을 제안했다.

원문에서 더 알아보세요.

지금은 제목과 출처까지 볼 수 있습니다. 아래 링크에서 전체 내용을 확인할 수 있습니다.