Problem-oriented verification system and its application to linear algebra programs

Nepomniaschy, V.A.
Sulimov, A.A.

Open PDF

Open link

Publication date

October 1993

DOI

10.1016/0304-3975(93)90344-S

Publisher

Published by Elsevier B.V.

ISSN

0304-3975

Abstract

AbstractThe 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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Problem-oriented verification system and its application to linear algebra programs

Abstract

Extracted data

Problem-oriented verification system and its application to linear algebra programs

Abstract

Extracted data

Related items

Related items