Discussion
Differences in applying to software and to hardware?
Word-level vs. bit-level?
Event structure? Synchrony hypothesis?
Properties to check?
Timing properties?
Previous slide
Next slide
Back to first slide
View graphic version