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

Authors
NEPOMNIASCHY VA SULIMOV AA
Citation
Va. Nepomniaschy et Aa. Sulimov, PROBLEM-ORIENTED VERIFICATION SYSTEM AND ITS APPLICATION TO LINEAR ALGEBRA PROGRAMS, Theoretical computer science, 119(1), 1993, pp. 173-185
Citations number
12
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics",Mathematics
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
119
Issue
1
Year of publication
1993
Pages
173 - 185
Database
ISI
SICI code
0304-3975(1993)119:1<173:PVSAIA>2.0.ZU;2-#
Abstract
The problem-oriented verification system SPECTRUM using the set of lin ear algebra programs as the problem area is described. Its main compon ent is a special prover which uses knowledge base and approximate deci sion procedures. To simplify the program specification, a method of lo op-invariant elimination is used.