1 Part II Concepts. 2 The structure of a design proof l A proof is a pyramid –Bricks are assertions, models, etc… –Each assertion rests on lower-level.
I/O & Interface Automata
