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 (t...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Academic Publishing House Researcher
2012-05-01
|
| Series: | Evropejskij Issledovatelʹ |
| Subjects: | |
| Online Access: | http://www.erjournal.ru/journals_n/1337186120.pdf |