spektr系统中线性代数程序的验证

很抱歉,有些东西似乎不能正常工作。

请尝试刷新页面。如果这不起作用,请联系支持人员,以便我们解决问题。

摘要

描述了一个线性代数程序验证子系统。该子系统作为面向问题的验证系统SPEKTR的一部分实现。

这是订阅内容的预览,通过您的机构访问.

工具书类

  1. 1

    五、 A.Nepomnyashchii和O.M.Ryakin,应用程序验证方法[俄语],斯维亚兹电台,莫斯科(1988)。

    谷歌学者 

  2. 2

    A、 A.Letichevskii和V.S.Kostyrko,“使用MIR-2计算机进行程序分析”,Kibernetika,第6期,第31-40期(1974年)。

    谷歌学者 

  3. 三。

    D、 “面向验证和处理的验证程序”,Kham'70程序。如果你同意的话。(1977年),第783-793页。

  4. 4

    D、 I.Good,R.M.Cohen和J.Keeton Williams,“证明吉普赛并发程序的原则”,Proc。ACM研讨会。编程语言原理(1979),第42-52页。

  5. 5

    S、 L.Gerhart等人,“确认概述:规范和验证系统”,信息处理'80,Proc。如果你同意的话。(1980年),第343-347页。

  6. 6

    五、 A.Nepomnyashchii、S.G.Vorob'ev和A.A.Sulimov,“SPEKTR:面向问题的程序验证系统”,Kibernetika,第6期,31–37页(1987年)。

    谷歌学者 

  7. 7

    M、 I.Ageev,V.P.Alik,R.M.Galis和Yu。一、 马尔科夫,算法库1b-50b[俄语],莫斯科索维茨科电台(1975)。

    谷歌学者 

下载参考资料

作者

附加信息

翻译自Kibernetika i Sistemnyi Analiz,第5期,第136-144页,1992年9月至10月。

权利和权限

转载和许可

关于这篇文章

引用这篇文章

Nepomnyashchii,V.A.,Sulimov,A.A.,spektr系统中线性代数程序的验证。赛博网络系统分析 28岁,766–774(1992年)。https://doi.org/10.1007/BF01131856

下载引文

关键词

  • 操作系统
  • 人工智能
  • 系统论
  • 线性代数
  • 验证系统