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

DOI10.1016/0304-3975(93)90344-SzbMath0783.68080MaRDI QIDQ1311971

V. A. Nepomnyashchij, A. A. Sulimov

Publication date: 26 January 1994

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

zbMATH Keywords

specificationknowledge baseprogram verificationproverautomatic verification systems

Mathematics Subject Classification ID

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

Related Items

Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs

Uses Software

• Refal

Cites Work

• Unnamed Item
• Mechanical proofs about computer programs
• On the SUP-INF Method for Proving Presburger Formulas
• Reasoning about arrays