Russian | English |
Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
чтобы предотвратить такой эффект это, я инициализирую amount некоторым значением – просто для предотвращения несвоевременного завершения цикла | prevent that, I initialize amount to some value just to prevent the loop from terminating prematurely |
чтобы предотвратить такой эффект это, я инициализирую amount некоторым значением просто для предотвращения несвоевременного завершения цикла | prevent that, I initialize amount to some value just to prevent the loop from terminating prematurely |