Interactive method for cumulative analysis of software formal models behavior - A. Kolchin (Problems in programming, 2018)