 |
| |||
| liveness property (свойство программы, утверждающее, что нечто надлежащее в конце концов произойдет, т.е. программа в конце концов достигнет "хорошего" состояния. Примерами данного свойства являются завершение и возможный вход в критическую секцию ssn) | |||
| свойство живучести: 2 phrases in 1 subject |
| Programming | 2 |