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

DOI10.1016/0304-3975(93)90344-SMaRDI QIDQ1311971zbMATH OpenFDO

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

Publication date 26 January 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90344-S

zbMATH Keywords

automatic verification systemsknowledge baseprogram verificationproverspecification

Mathematics Subject Classification ID

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

Recommendations

• Problem-oriented program verification system ?SPEKTR?
• Problem-oriented program verification
• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• Recent advances in program verification through computer algebra
• scientific article; zbMATH DE number 4080966

Cites work

• scientific article; zbMATH DE number 3566122 (Why is no real title available?)
• Mechanical proofs about computer programs
• On the SUP-INF Method for Proving Presburger Formulas
• Reasoning about arrays

Cited in

(11)

• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• Generalised multi-pattern-based verification of programs with linear linked structures
• A new PCP outer verifier with applications to homogeneous linear equations and max-bisection
• scientific article; zbMATH DE number 4047197 (Why is no real title available?)
• Problem-oriented program verification system ?SPEKTR?
• scientific article; zbMATH DE number 804617 (Why is no real title available?)
• Parallel Processing and Applied Mathematics
• scientific article; zbMATH DE number 5241986 (Why is no real title available?)
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• A method of obtaining verified solutions for linear systems suited for Java

Describes a project that uses

Uses Software

• Refal

This page was built for publication: Problem-oriented verification system and its application to linear algebra programs

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