Формальная верификация: различия между версиями

м
* [[проверка моделей]] (model checking)
* [[логический вывод]] (logical inference)
* [[cимвольноесимвольное выполнение]] (symbolic execution)
* [[абстрактная интерпретация]] (abstract interpretation)
* [[систематический анализ алгоритмов и программ]]
144 484

правки