Problem-oriented program verification system ?SPEKTR?

DOI10.1007/BF01070237MaRDI QIDQ3802589zbMATH OpenOpenAlexFDO

Authors V. A. Nepomnyashchij, S. G. Vorob'ev, A. A. Sulimov

Publication date 1987

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01070237

zbMATH Keywords

Hoare's calculusprogram verificationtheorem proving

Mathematics Subject Classification ID

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

Recommendations

• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• Verification of linear algebra programs in the SPEKTR system
• Problem-oriented program verification
• Problem-oriented verification system and its application to linear algebra programs
• Program verification: state of the art, problems, and results. II
• Program verification: state of the art, problems, and results. I
• scientific article; zbMATH DE number 1005001
• scientific article; zbMATH DE number 1390245

Cites work

• A Practical Decision Procedure for Arithmetic with Function Symbols
• On the SUP-INF Method for Proving Presburger Formulas

Cited in

(13)

• Problem-oriented program verification
• Application of conditional term substitution systems in program verification
• Problem-oriented verification system and its application to linear algebra programs
• SPEKTR
• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• scientific article; zbMATH DE number 1822431 (Why is no real title available?)
• scientific article; zbMATH DE number 3858384 (Why is no real title available?)
• scientific article; zbMATH DE number 177260 (Why is no real title available?)
• scientific article; zbMATH DE number 177528 (Why is no real title available?)
• scientific article; zbMATH DE number 1377354 (Why is no real title available?)
• scientific article; zbMATH DE number 1390245 (Why is no real title available?)
• scientific article; zbMATH DE number 2217740 (Why is no real title available?)
• Reduction and quantifier elimination techniques for program validation

This page was built for publication: Problem-oriented program verification system ?SPEKTR?

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