Verification of linear algebra programs in the SPEKTR system

DOI10.1007/BF01131856MaRDI QIDQ1816342zbMATH OpenFDO

Authors V. A. Nepomnyashchij, A. A. Sulimov

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)

Cited in

(5)

• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• Verification of a finite iteration over data structures
• SPEKTR
• Problem-oriented program verification system ?SPEKTR?
• Parallel Processing and Applied Mathematics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1816342)