Kungurtsev, Oleksiy; Кунгурцев, Олексій Борисович; Кунгурцев, Алексей Борисович; Novikova, Nataliia; Новікова, Наталія Олексіївна; Новикова, Наталия Алексеевна
(Odessa National Polytechnic University, 2020-06-06)
The analysis of methods for testing models of program classes is carried out. It is shown that in connection with the
increase in the volume of work at the stage of compiling models, the relevance of model verification ...