Мороз, Ольга ЮріївнаMoroz, O.Yu.2023-12-192023-12-192023Мороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. ... д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Інформаційні технології) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.УДК 004.05https://ekhnuir.karazin.ua/handle/123456789/18168Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликамиThe dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challengesukResearch Subject Categories::TECHNOLOGY::Information technologyтехнологія верифікаціїметоди верифікаціїпаралельні обчислювальні системичасопараметризовані паралельні програмимільтипаралельні програмирозподілені системиверифікація паралельних програмінформаційні управляючі системикомпіляційна верифікаціядекомпіляційна верифікаціясемантична верифікаціяметоди структур семантико-числових специфікаційметоди формального синтезучасопараметризована модель алгоритму Гаусаverification technologyverification methodsparallel computing systemstime-parameterized multi-parallel programsdistributed systemsverification of parallel programsinformation management systemscompilation verificationdecompilation verificationsemantic verificationmethods of structures of semantic-numerical specificationsmethods of formal synthesistime-parameterized model of the Gaussian algorithmDissertation