Open AccessCLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS
Author(s) -
Mihail Dunaev,
Andrey Dunaev
Publication year - 2021
Publication title -
sovremennye tehnologii i naučno-tehničeskij progress
Language(s) - English
Resource type - Journals
ISSN - 2686-9896
DOI - 10.36629/2686-9896-2021-1-1-223-224
Subject(s) - computer science , artificial intelligence
The classification of approximate methods of building verification programs, complementing the general classification, is conside