Методи верифікації програм. Миронов А. М

У книзі викладаються питання моделювання та верифікації (тобто докази правильності) різних класів програм. Основні концепції та на них підходи до верифікації ілюстровані прикладами верифікації різних програм. Для закріплення засвоєння викладеного матеріалу у книзі наведено велику кількість завдань.

Книга призначена для студентів вищих навчальних закладів, які навчаються за спеціальностями «теоретичні засади інформатики», «штучний інтелект» та «інформаційна безпека». Також вона представляє інтерес для фахівців у цих галузях