Verification of linear algebra programs in the SPEKTR system

DOI10.1007/BF01131856zbMath0875.68639MaRDI QIDQ1816342

A. A. Sulimov, V. A. Nepomnyashchij

Publication date: 20 January 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

program verificationproblem-oriented verification systemverification of linear algebra programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Verification of a finite iteration over data structures

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of linear algebra programs in the SPEKTR system