Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems

Authors: Ольга Мороз

Source: Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, Vol 55, Pp 32-37 (2022)

Subject Terms: parallel programming technologies, parallel computing systems, time-parameterized multi-parallel program, verification technology model, semantic-numerical verification technology, Mathematics, QA1-939

File Description: electronic resource

Relation: https://periodicals.karazin.ua/mia/article/view/22592; https://doaj.org/toc/2304-6201; https://doaj.org/toc/2524-2601

Access URL: https://doaj.org/article/924953bc33c1417186cef2f6c90e831e