Mykyta Pugach and Iryna Zaretska 2024. Development and implementation of a method for checking the integrity of the design of an object-oriented system. Computer Science and Cybersecurity. 1 (Sep. 2024), 76-87. DOI:https://doi.org/10.26565/2519-2310-2024-1-07.