Темпоральні логіки та їх застосування

Тип публікації :
Бакалаврська робота
Дата випуску :
2022
Автор(и) :
Єрьоменко Іван
Мова основного тексту :
ua
eKNUTSHIR URL :
Цитування :
[APA 7] Єрьоменко, І. (2022). Темпоральні логіки та їх застосування [Бакалаврська робота, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/123456789/2745
[ДСТУ] Єрьоменко І. Темпоральні логіки та їх застосування : кваліфікаційна робота бакалавра : 12 Інформаційні технології. Київ, 2022. 58 с. URL: https://ir.library.knu.ua/handle/123456789/2745 (дата звернення: 25.07.2026).
Проаналізована актуальність даної теми та проблеми які вона вирішує, виконано огляд систем темпоральної логіки, описано мови та реляційну семантику таких логік, розглянуто лінійну пропозиційну темпоральну логіку, наведено приклад її застосування для вирішення проблеми взаємного виключення алгоритмом Петерсона.
Описано потужний метод верифікації програмних систем Model cheking та верифікатор SPIN, які використовують апарат лінійної темпоральної логіки. Наведено змістовний приклад застосування апарату темпоральної логіки на практиці – верифікація програми автоматної реалізації математичної гри Нім із використанням SPIN.
Галузі знань та спеціальності :
12 Інформаційні технології
122 Комп’ютерні науки
Файл(и) :
Вантажиться...
Ескіз
Завантажити
Формат :

Adobe PDF

Розмір :

995.45 KB

Контрольна сума :

(MD5):a5c56205248b3fca8e252d02185d6053

Creative Commons Attribution-NonCommercial 4.0 International
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial 4.0 International