Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет...
[ДМК] Доказательство корректности программ [К. Рустан М. Лейно]
Скачать:
Для просмотра содержимого вам необходимо авторизоваться
Симпатии:
Это понравилось I1I2I3I4I5