Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Temporal Induction<br />
induction length<br />
must be at least 5<br />
loop must be broken, using<br />
stronger asserts or by adding<br />
restrictions (assumptions)<br />
no problem here<br />
reachable states<br />
assertions