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 条
  • [41] Linear Algebra
    Muthsam, H.
    [J]. MONATSHEFTE FUR MATHEMATIK, 2022, 199 (03): : 715 - 716
  • [42] LINEAR ALGEBRA
    LYRA, G
    [J]. NATURWISSENSCHAFTEN, 1965, 52 (07) : 171 - &
  • [43] 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
  • [44] Kleene Algebra and Bytecode Verification
    Kot, Lucja
    Kozen, Dexter
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (01) : 221 - 236
  • [45] Linear autonomy conditions for the basic Lie algebra of a system of linear differential equations
    Yu. A. Chirkunov
    [J]. Doklady Mathematics, 2009, 79 : 415 - 417
  • [46] LINEAR ALGEBRA
    URBAN, P
    [J]. ACTA PHYSICA AUSTRIACA, 1965, 19 (04): : 395 - &
  • [47] Linear algebra
    Baylis, John
    [J]. MATHEMATICAL GAZETTE, 2022, 106 (565): : 174 - 175
  • [48] Linear Algebra
    Howard, Benjamin
    Yang, Tonghai
    [J]. INTERSECTIONS OF HIRZEBRUCH-ZAGIER DIVISORS AND CM CYCLES, 2012, 2041 : 11 - 24
  • [49] LINEAR ALGEBRA
    ALBRECHT, R
    [J]. ZEITSCHRIFT FUR ANGEWANDTE PHYSIK, 1965, 19 (04): : 386 - &
  • [50] Linear algebra
    [J]. EULER SYSTEMS, 2000, (147): : 189 - 194
12345