Спеціальність: 126 Інформаційні системи та технології. ОС: Бакалавр. Семестр: 8. ЄКТС: 5.
Розподіл годин: Лекції - 48. Практичні - 48. Самостійна робота - 54. Підсумковий контроль: Екзамен.
Анотація: Дисципліна охоплює вивчення формальних методів для опису та аналізу програмного забезпечення, що забезпечують точність і коректність його роботи. Основна увага приділяється використанню формальних специфікацій для визначення поведінки систем та методів верифікації для перевірки їх відповідності заданим вимогам. Силабус
- Викладач: Сватко Віталій Володимирович