Drakot (обсуждение | вклад) |
Drakot (обсуждение | вклад) м (Перенос строки) |
||
| Строка 1: | Строка 1: | ||
Источник: [http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C Wikipedia] | Источник: [http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C Wikipedia] | ||
| + | |||
'''Формальная верификация''' — | '''Формальная верификация''' — | ||
доказательство с помощью [[формальные методы|формальных методов]] правильности или неправильности системы | доказательство с помощью [[формальные методы|формальных методов]] правильности или неправильности системы | ||