Verification of linear algebra programs in the SPEKTR system

DOI10.1007/BF01131856zbMATH Open0875.68639MaRDI QIDQ1816342FDOQ1816342

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Problem-oriented program verification system ?SPEKTR?
• Parallel Processing and Applied Mathematics
• SPEKTR
• 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

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)