600.436
High-Assurance Systems
Fall 01/Introduction
26
Caveat Student
¨The next few weeks will be devoted detailed
discussions of this evidence
¨The next eight slides provide a very
high-level
perspective on each piece of evidence documentation