Doroshenko, A. and Яценко, О. 2024. Formal methods of parallel software design automation . Reports of the National Academy of Sciences of Ukraine. 6 (Mar. 2024), 15–20. DOI:https://doi.org/10.15407/dopovidi2020.06.015.