АКТУАЛЬНІСТЬ ВИКЛАДАННЯ ЛОГІК НЕКОРЕКТНОСТІ В ЗАКЛАДАХ ВИЩОЇ ОСВІТИ

Згідно сучасних підходів до розробки програмних продуктів, в розрізі забезпечення коректності та якості, все більшої ролі набувають засоби статичного аналізу коду, та пошуку потенційних помилок в коді. Разом з тим, задача верифікації, все ще потребує значних ресурсів, що часто перевищую ресурси, потрібні на розробку власне системи, що верифікується. Логіки некоректності [4] є теоретичною основою систем направлених на пошук потенційних помилок та систем аналізу вразливостей програмних систем. Саме тому виникає питання доцільності їх розгляду в рамках навчальних дисциплін з формальних методів, верифікації програмних систем, та кібербезпеки, що є частиною підготовки майбутніх фахівців ІТ-галузі. Коли мова йде про формальну верифікацію, одним з найбільш часто застосовуваних інструментів є логіка Флойда-Хоара [1] та її подальші розширення.