Development Modules for Specification of Requirements for a System of Verification of Parallel Algorithms

摘要

This paper presents the results of the development of one of the modules of the system verification of parallel algorithms that are used to verify the inference engine. This module is designed to build the specification requirements, the feasibility of which on the algorithm is necessary to prove (test).