Доказательство корректности программ
К. Рустан, М. Лейно
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе...
ISBN: 978-5-93700-199-3
Издательство:
ДМК
Дата выхода: июнь 2024
Оставить комментарий