City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Program Verification
Novosibirsk / spring 2020, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

Как устранить ошибки из программы? Стандартная практика предлагает нам тестирование как метод нахождения ошибок в программе. Могут ли самые современные и совершенные технологии и инструменты тестирования дать гарантию того, что в программе нет ошибок? Очевидно, нет. Но методология верификации — то есть математического доказательства корректности — может дать именно это. В курсе будут освещены следующие вопросы:

  • что такое программа как математический объект,
  • как определить смысл программы (также математически),
  • как сформулировать на формальном языке спецификацию (то есть ожидаемое поведение) программы,
  • как математически строго доказать, что программа удовлетворяет спецификации.

По окончанию курса студенты могут выполнить практические задания с применением функционального языка flow.

Date and time Class|Name Venue|short Materials
02 April
18:00–19:20
Лекция, Lecture НГУ, уточняется, НГУ, новый корпус No