Computer Aided Verification

Computer Aided Verification

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming