Notes

Slide Show

Outline

1	Schneider’s Counter Example
2	Activate the Fault Site for B-S@1
3	Pick Path to Output
4	Justify results of I2 = 1
5	Sensitize Path to Output
6	Activate the Fault Site for B-S@0
7	Pick a Path to output for B-S@0
8	Sensitize Path to output for B-S@0
9	Pick other Path to output for B-S@0
10	Sensitize other Path to output for B-S@0
11	Activate the Fault Site for B-S@0
12	Propagate the d-Frontier
13	Justify other nodes