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