Nepomnyashchij，V.A。；A.A.苏里莫夫。 SPEKTR系统中线性代数程序的验证。 （英语。俄文原件） Zbl 0875.68639号 赛博。系统。分析。 第5期第28期，766-774页（1992年）; 翻译自Kibern。修女。分析。1992年，第5期，136-144（1992）。 概述：描述了用于验证线性代数程序的子系统。该子系统是作为面向问题的验证系统SPEKTR的一部分实现的。 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：程序验证；线性代数程序的验证；面向问题的验证系统 软件：扬声器 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}和\textit{A.A.Sulimov}，Cybern。系统。分析。28，第5号，766--774（1992；Zbl 0875.68639）；翻译自Kibern。修女。分析。1992年，第5期，136--144（1992） 全文： 内政部 参考文献： [1] V.A.Nepomnyashchii和O.M.Ryakin，应用程序验证方法[俄语]，斯维亚兹电台？，莫斯科（1988）。 [2] A.A.Letichevskii和V.S.Kostyrko？使用MIR-2计算机进行程序分析，？Kibernetika，第6期，31-40页（1974年）。 [3] D.C.勒克姆？程序验证和面向验证的编程，？信息处理'70，Proc。IFIP大会。（1977年），第783-793页·Zbl 0363.68017号 [4] D.I.Good，R.M.Cohen和J.Keeton Williams？吉普赛并发程序的证明原则，？程序。ACM交响乐团。《程序设计语言原理》（1979年），第42-52页。 [5] S.L.Gerhart等人？AFFIRM概述：规范和验证系统，？信息处理'80，Proc。IFIP大会。（1980），第343-347页。 [6] V.A.Nepomnyashchii、S.G.Vorob'ev和A.A.Sulimov？SPEKTR：一个面向问题的程序验证系统，？Kibernetika，第6期，第31-37页（1987年）。 [7] M.I.Ageev、V.P.Alik、R.M.Galis和Yu。I.Markov，算法库1b？50b【俄语】，莫斯科Sovetskoe电台（1975年）·Zbl 0326.65002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。