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.
else if p1 and (l10 or l11) then 0<br />
else c1;<br />
c2’ = if tick then c2+1<br />
else if p2 and (l20 or l21) then 0<br />
else c2;<br />
assertion<br />
(if (l11 and not c1= 1)));<br />
V217_retard_0 = ((not Init0) and (if (not PV217_retard_0) then (V213_diff_0<br />