 |
| English | Russian |
| liveness analysis | анализ наработки на отказ (Alex_Odeychuk) |
| liveness analysis | анализ живучести (Alex_Odeychuk) |
| liveness property | свойство живучести (свойство программы, утверждающее, что нечто надлежащее в конце концов произойдет, т.е. программа в конце концов достигнет "хорошего" состояния. Примерами данного свойства являются завершение и возможный вход в критическую секцию ssn) |
| safety and liveness | безопасность и живучесть (ssn) |
| safety and liveness properties | свойства безопасности и живучести (ssn) |