מילוניםהפורוםפרטי הקשר

   אנגלית רוסית
Google | Forvo | +
Time can elapse in the location only as long as the invariant of the location is trueמתח
.תִכנו Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)