VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM

Authors
NEPOMNYASHCHII VA SULIMOV AA
Citation
Va. Nepomnyashchii et Aa. Sulimov, VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM, Cybernetics and systems analysis, 28(5), 1992, pp. 766-774
Citations number
7
Categorie Soggetti
Controlo Theory & Cybernetics
Journal title
Cybernetics and systems analysis → ACNP
ISSN journal
10600396
Volume
28
Issue
5
Year of publication
1992
Pages
766 - 774
Database
ISI
SICI code
1060-0396(1992)28:5<766:VOLAPI>2.0.ZU;2-T
Abstract
A subsystem for verification of linear algebra programs is described. The subsystem is implemented as part of the problem-oriented verificat ion system SPEKTR.