-
1Academic Journal
Authors: Ольга Мороз
Source: Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, Vol 56, Pp 43-50 (2022)
Subject Terms: time-parameterized multi-parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specifications, Mathematics, QA1-939
File Description: electronic resource
-
2Dissertation/ Thesis
Authors: Мороз, Ольга Юріївна, Moroz, O.Yu.
Subject Terms: Research Subject Categories::TECHNOLOGY::Information technology, технологія верифікації, паралельні обчислювальні системи, часопараметризовані мільтипаралельні програми, верифікація паралельних програм інформаційних управляючих систем, компіляційна верифікація, декомпіляційна верифікація, семантична верифікація, методи структур семантико-числових специфікацій, методи формального синтезу, часопараметризована модель алгоритму Гауса, verification technology, parallel computing systems, time-parameterized multi-parallel programs, verification of parallel programs of information management systems, compilation verification, decompilation verification, semantic verification, methods of structures of semantic-numerical specifications, methods of formal synthesis, time-parameterized model of the Gaussian algorithm
Relation: Мороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. . д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.; УДК 911.5:502.15:338.49(477.54-25)(043.5); http://dspace.univer.kharkov.ua/handle/123456789/18168
Availability: http://dspace.univer.kharkov.ua/handle/123456789/18168