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

Тип публікації :
Бакалаврська робота
Дата випуску :
2022
Автор(и) :
Єрьоменко Іван
Мова основного тексту :
eKNUTSHIR URL :
Цитування :
Єрьоменко І. Темпоральні логіки та їх застосування : кваліфікаційна робота ... бакалавра : 122 Комп’ютерні науки / Іван Єрьоменко. - Київ, 2022. - 58 с.
Проаналізована актуальність даної теми та проблеми які вона вирішує, виконано огляд систем темпоральної логіки, описано мови та реляційну семантику таких логік, розглянуто лінійну пропозиційну темпоральну логіку, наведено приклад її застосування для вирішення проблеми взаємного виключення алгоритмом Петерсона.
Описано потужний метод верифікації програмних систем Model cheking та верифікатор SPIN, які використовують апарат лінійної темпоральної логіки. Наведено змістовний приклад застосування апарату темпоральної логіки на практиці – верифікація програми автоматної реалізації математичної гри Нім із використанням SPIN.
Галузі знань та спеціальності :
Тип зібрання :
Publication
Файл(и) :
Ескіз
Формат

Adobe PDF

Розмір :

995.45 KB

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

(MD5):a5c56205248b3fca8e252d02185d6053

Ця робота розповсюджується на умовах ліцензії Creative Commons CC BY-NC