VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM

被引：0
|
作者：
NEPOMNYASHCHII, VA
SULIMOV, AA
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1992年 / 28卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A subsystem for verification of linear algebra programs is described. The subsystem is implemented as part of the problem-oriented verification system SPEKTR.
引用
收藏
页码：766 / 774
页数：9
相关论文
共 50 条
  • [31] Minimal realization in linear system of max-algebra
    Chen Wende
    Sun Zhimin
    Yu Hongnian
    [J]. PROCEEDINGS OF THE 24TH CHINESE CONTROL CONFERENCE, VOLS 1 AND 2, 2005, : 1 - 6
  • [32] On a Category Related to the Kalman Algebra of a Linear Control System
    N. I. Osetinskii
    O. O. Vasil'ev
    F. S. Vainstein
    [J]. Differential Equations, 2005, 41 : 1609 - 1615
  • [33] On a category related to the Kalman algebra of a linear control system
    Osetinskii, NI
    Vasil'ev, OO
    Vainstein, FS
    [J]. DIFFERENTIAL EQUATIONS, 2005, 41 (11) : 1609 - 1615
  • [34] Tiled Linear Algebra a System for Parallel Graph Algorithms
    Maleki, Saeed
    Evans, G. Carl
    Padua, David A.
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2014), 2015, 8967 : 116 - 130
  • [35] Operation of the Spektr-R orientation system
    M. M. Lisakov
    S. M. Voinakov
    A. S. Syrov
    V. N. Sokolov
    D. A. Dobrynin
    M. A. Shatsky
    R. A. Kamaldinova
    V. V. Sosnovtsev
    N. V. Ryabogin
    T. B. Vyunitskaya
    E. N. Filippova
    [J]. Cosmic Research, 2014, 52 : 365 - 372
  • [36] Operation of the Spektr-R orientation system
    Lisakov, M. M.
    Voinakov, S. M.
    Syrov, A. S.
    Sokolov, V. N.
    Dobrynin, D. A.
    Shatsky, M. A.
    Kamaldinova, R. A.
    Sosnovtsev, V. V.
    Ryabogin, N. V.
    Vyunitskaya, T. B.
    Filippova, E. N.
    [J]. COSMIC RESEARCH, 2014, 52 (05) : 365 - 372
  • [37] LINEAR ALGEBRA
    BECHTELL, H
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (02): : 224 - &
  • [38] Linear algebra
    Doran, C
    Lasenby, A
    Gull, S
    [J]. CLIFFORD (GEOMETRIC) ALGEBRAS WITH APPLICATIONS TO PHYSICS, MATHEMATICS, AND ENGINEERING, 1996, : 65 - 82
  • [39] Linear autonomy conditions for the basic Lie algebra of a system of linear differential equations
    Chirkunov, Yu. A.
    [J]. DOKLADY MATHEMATICS, 2009, 79 (03) : 415 - 417
  • [40] An Algebra of Alignment for Relational Verification
    Antonopoulos, Timos
    Koskinen, Eric
    Ton Chanh Le
    Nagasamudram, Ramana
    Naumann, David A.
    Minh Ngo
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 573 - 603
12345