 |
| |||
| частичная корректность (свойство программы вычислять желаемый результат при условии, что она завершается ssn) | |||
| частичная правильность | |||
|
| |||
| частичная корректность (свойство программы вычислять желаемый результат при условии, что она завершается ssn) | |||
| частичная правильность | |||
