Different approaches to solving the problem of program correctness

MaRDI QIDQ3105857zbMATH OpenFDO

Authors Branko Markoski, Djordje Babic

Publication date 19 December 2011

Mathematics Subject Classification ID

Recommendations

• Dijkstra's interpretation of the approach to solving a problem of program correctness
• Relationship of program correctness checking methods
• Problem-oriented approach to verification of file-processing programs
• scientific article; zbMATH DE number 4147469
• scientific article; zbMATH DE number 3894447

Cited in

(6)

• A method of static program correctness checking
• Relationship of program correctness checking methods
• On the Uncertainty in the Correctness of Computer Programs
• Dijkstra's interpretation of the approach to solving a problem of program correctness
• scientific article; zbMATH DE number 3894447 (Why is no real title available?)
• On programming style-program correctness relation

This page was built for publication: Different approaches to solving the problem of program correctness

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