A new approach to program verification

DOI10.1016/0045-7906(84)90009-0MaRDI QIDQ2266579zbMATH OpenOpenAlexFDO

Authors Bhabani P. Sinha, Pradip K. Srimani

Publication date 1984

Published in Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0045-7906(84)90009-0

zbMATH Keywords

loopsmathematical inductionprogram flowchartprogram verification

Mathematics Subject Classification ID

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

Recommendations

• Problem-oriented program verification
• Logic programs as specifications in the inductive verification of logic programs
• scientific article; zbMATH DE number 4172362
• scientific article; zbMATH DE number 194784
• scientific article; zbMATH DE number 4024753

Cited in

(3)

• Programmed strategies for program verification
• Some inference rules for integer arithmetic for verification of flowchart programs on integers
• A mechanical analysis of program verification strategies

This page was built for publication: A new approach to program verification

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