n
Physical system
–
comprised of components
–
desired function
–
design achieves function
–
system is correct instance of design
n
All malfunctions caused by faulty component(s)
n
Behavioral information
–
only indirect evidence
n
n
n
n
Basic Underlying Assumptions