On improving efficiency of model checking through systematically ...
On improving efficiency of model checking through systematically ...
On improving efficiency of model checking through systematically ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
= 9)) or (not B_0))));<br />
V216_avance_1 = ((not Init0) and (if (not PV216_avance_1) then (V214_diff_1<br />
>= 10) else (V214_diff_1 >= 1)));<br />
V218_retard_1 = ((not Init0) and (if (not PV218_retard_1) then (V214_diff_1<br />