If all the guarantees are visited, such that guarantee G2 is visited after some visit to guarantee G1; guarantee G3 is visited ... guarantee G4 is visited after some visits to guarantees G1 , G2 , G3; and so on, since the last reset, then j is reset to 0.

Title | : | Computer Aided Verification |

Author | : | Tayssir Touili, Byron Cook, Paul Jackson |

Publisher | : | Springer - 2010-07-09 |

Continue