Cybernetics and Systems Analysis

, Volume 28, Issue 5, pp 766–774 | Cite as

Verification of linear algebra programs in the spektr system

  • V. A. Nepomnyashchii
  • A. A. Sulimov
Software-Hardware Systems


A subsystem for verification of linear algebra programs is described. The subsystem is implemented as part of the problem-oriented verification system SPEKTR.


Operating System Artificial Intelligence System Theory Linear Algebra Verification System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    V. A. Nepomnyashchii and O. M. Ryakin, Applied Program Verification Methods [in Russian], Radio i Svyaz’, Moscow (1988).Google Scholar
  2. 2.
    A. A. Letichevskii and V. S. Kostyrko, “Using the MIR-2 computer for program analysis,” Kibernetika, No. 6, 31–40 (1974).Google Scholar
  3. 3.
    D. C. Luckham, “Program verification and verification-oriented programming,” Information Processing '70, Proc. IFIP Congr. (1977), pp. 783–793.Google Scholar
  4. 4.
    D. I. Good, R. M. Cohen, and J. Keeton-Williams, “Principles of proving concurrent programs in Gypsy,” Proc. ACM Symp. on Principles of Programming Languages (1979), pp. 42–52.Google Scholar
  5. 5.
    S. L. Gerhart et al., “An overview of AFFIRM: a specification and verification system,” Information Processing '80, Proc. IFIP Congr. (1980), pp. 343–347.Google Scholar
  6. 6.
    V. A. Nepomnyashchii, S. G. Vorob'ev, and A. A. Sulimov, “SPEKTR: a problem-oriented program verification system,” Kibernetika, No. 6, 31–37 (1987).Google Scholar
  7. 7.
    M. I. Ageev, V. P. Alik, R. M. Galis, and Yu. I. Markov, Library of Algorithms 1b–50b [in Russian], Sovetskoe Radio, Moscow (1975).Google Scholar

Copyright information

© Plenum Publishing Corporation 1993

Authors and Affiliations

  • V. A. Nepomnyashchii
  • A. A. Sulimov

There are no affiliations available

Personalised recommendations