https://catalogue-scientifique.canada.ca/record=2231607~S6*frc
Rechercher Heitmeyer, Constance L; Rechercher Archer, Myla M; Rechercher Leonard, Elizabeth I; Rechercher McLean, John D
naval research lab washington dc information technology div, 2008
A major problem in verifying the security of code is that the code's large size makes it much too costly to verify in its entirety. This paper describes a...
Publication gouvernementale