PROBLEM-ORIENTED VERIFICATION SYSTEM AND ITS APPLICATION TO LINEAR ALGEBRA PROGRAMS

被引：3
|
作者：
NEPOMNIASCHY, VA
SULIMOV, AA
机构：
[1] Institute of Informatics Systems, Russian Academy of Sciences, 6 Acad. Lavrentiev pr.
来源：
THEORETICAL COMPUTER SCIENCE | 1993年 / 119卷 / 01期
关键词：
D O I：
10.1016/0304-3975(93)90344-S
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The problem-oriented verification system SPECTRUM using the set of linear algebra programs as the problem area is described. Its main component is a special prover which uses knowledge base and approximate decision procedures. To simplify the program specification, a method of loop-invariant elimination is used.
引用
收藏
页码：173 / 185
页数：13
相关论文
共 50 条
12345