Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK681.142.2
Issue:4 (74)
The article deals with graph-analytical models (GAM) for verification of computing processes in CAD. An example of complex cubic covering generation based on GAM for acyclic computing process is given; a task for test sets synthesis based on cubic coverings has been formulated.