To obtain access to full text of journal and articles you must register!
- Article name
- THE PROOF OF THEOREMS BY MEANS OF THE QUANTUM GENERATOR OF TESTS
- Authors
- Pravilshchikov P. A., , fca07@mail.ru, Federal State Government-Financed Scientific Establishment "Institute of Control Sciences named after V. A. Trapeznikov of the Russian Academy of Sciences", Moscow, Russia
- Keywords
- automatic proof of theorems / quantum computers / quantum accelerators / quantum algorithms / verification problem of programs / problem of formal verification of the LSI / a SAT-problem
- Year
- 2015 Issue 3 Pages 77 - 87
- Code EDN
- Code DOI
- Abstract
- The problem of the automatic proof of theorems with use of such computer model as the quantum tests generator (QTG) description of which is represented, is considered in this article. It is offered to use the quantum accelerator, computer model of which is QTG, for the automatic proof of theorems. It is shown that automation of the proof of theorems is the important and inalienable element of verification modern the LSI and creations of program complexes to which reliability increased requirements. Emphasizes that the automatic proof of theorems can lead to the decision of a problem of satisfiability of some logic equation (SAT-problem).
- Text
- To obtain access to full text of journal and articles you must register!
- Buy
