Conditionals: mechanism
1. Split the data into parts
2. Compute invariants over each subset of data
3. Compare results, produce implications
if even(x)then y = 0 else y = 2x
Previous slide
Next slide
Back to first slide
View graphic version