CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS
The classification of approximate methods of building verification programs, complementing the general classification, is considered.