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 条
  • [41] Problem-Oriented Approach to Identification of Sensor Error Models and its Application to Navigation Data Processing
    Stepanov, O. A.
    Motorin, A. V.
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 2830 - 2835
  • [42] THE PROBLEM-ORIENTED PSYCHIATRIC-EXAMINATION OF THE CHRONIC PAIN PATIENT AND ITS APPLICATION TO THE LITIGATION CONSULTATION
    FISHBAIN, DA
    CUTLER, RB
    ROSOMOFF, RS
    ROSOMOFF, HL
    [J]. CLINICAL JOURNAL OF PAIN, 1994, 10 (01): : 28 - 51
  • [43] PROBLEM-ORIENTED SOFTWARE FOR ASYMPTOTIC METHODS OF NON-LINEAR MECHANICS
    SKRYPNIK, AI
    [J]. DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (02): : 132 - 135
  • [44] Transdisciplinary Environmental Science: Problem-oriented Projects and Strategic Research Programs INTRODUCTION
    Gross, Matthias
    Stauffacher, Michael
    [J]. INTERDISCIPLINARY SCIENCE REVIEWS, 2014, 39 (04) : 299 - 306
  • [45] LOGIC-LINGUISTIC SUPPLY OF THE DOCUMENTARY-TYPE PROBLEM-ORIENTED SYSTEM AND ITS USERS
    PSHENICHNAYA, LE
    SHRAMKO, LM
    YAKOVLEVA, IN
    [J]. NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1988, (02): : 6 - 10
  • [46] VALIDITY OF PROBLEM-ORIENTED RECORD SYSTEM FOR EVALUATING TREATMENT OUTCOME
    ALLEN, RH
    WEBB, LJ
    GOLD, RS
    [J]. PSYCHOLOGICAL REPORTS, 1980, 47 (01) : 303 - 306
  • [47] A Problem-Oriented Approach to Critical System Design and Diagnosis Support
    Leilde, Vincent
    Ribaud, Vincent
    Teodorov, Ciprian
    Dhaussy, Philippe
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 30 - 39
  • [48] A problem-oriented, knowledge-based patient record system
    Bayegan, E
    Nytro, O
    [J]. HEALTH DATA IN THE INFORMATION SOCIETY, 2002, 90 : 272 - 276
  • [49] PROBLEM-ORIENTED SYSTEM IN PSYCHIATRIC-HOSPITAL - MAZUR,WP
    MCKNIGHT, RS
    [J]. PSYCHIATRIC ANNALS, 1977, 7 (02) : 116 - 116
  • [50] ALCOHOL INFORMATION - SOME PERSPECTIVES ON THE DEVELOPMENT OF A PROBLEM-ORIENTED SYSTEM
    REGAZZI, JJ
    BELLICHA, T
    [J]. PROCEEDINGS OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1980, 17 : 224 - 226
12345