Skip to main content
SpringerLink
Log in

Verification of linear algebra programs in the spektr system

  • Software-Hardware Systems
  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. V. A. Nepomnyashchii and O. M. Ryakin, Applied Program Verification Methods [in Russian], Radio i Svyaz’, Moscow (1988).

    Google Scholar 

  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. D. C. Luckham, “Program verification and verification-oriented programming,” Information Processing '70, Proc. IFIP Congr. (1977), pp. 783–793.

  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.

  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.

  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. 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 

Download references

Authors
  1. V. A. Nepomnyashchii
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. A. Sulimov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 136–144, September–October, 1992.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nepomnyashchii, V.A., Sulimov, A.A. Verification of linear algebra programs in the spektr system. Cybern Syst Anal 28, 766–774 (1992). https://doi.org/10.1007/BF01131856

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01131856

Keywords

Search

Navigation