Как устранить ошибки из программы? Стандартная практика предлагает нам тестирование как метод нахождения ошибок в программе. Могут ли самые современные и совершенные технологии и инструменты тестирования дать гарантию того, что в программе нет ошибок? Очевидно, нет. Но методология верификации — то есть математического доказательства корректности — может дать именно это. В курсе будут освещены следующие вопросы:
По окончанию курса студенты могут выполнить практические задания с применением функционального языка flow.
Date and time | Class|Name | Venue|short | Materials |
---|---|---|---|
02 April 18:00–19:20 |
Лекция, Lecture | НГУ, уточняется, НГУ, новый корпус | No |