© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Fault Model
•
We model the fault by introducing D’,
which is stuck at true and affects the value
of X which we rename X’:
