scientific article; zbMATH DE number 4172362

MaRDI QIDQ3197301zbMATH OpenFDO

Authors Richard Alan Platek

Publication date 1990

zbMATH Keywords

flowchart languageinductive definabilityprogram verificationsemanticssoftware correctness

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 4147469
• Verification of procedural programs
• scientific article; zbMATH DE number 53100
• Problems of verification of functional programs

Cited in

(20)

• Proving properties of Pascal programs in MIZAR 2
• Theory of program structures: schemes, semantics, verification. 2nd printing
• Problem-oriented approach to verification of file-processing programs
• Program verification. Fundamental issues in computer science
• A new approach to program verification
• Non-obfuscated unprovable programs \& many resultant subtleties
• Verification of procedural programs
• Proof of program correctness based on Kripke structure
• Correct and Robust Programs
• scientific article; zbMATH DE number 3858384 (Why is no real title available?)
• Mechanical proofs about computer programs
• Problems of verification of functional programs
• Proofs verifying programs and programs producing proofs: a conceptual analysis
• scientific article; zbMATH DE number 4041241 (Why is no real title available?)
• Some inference rules for integer arithmetic for verification of flowchart programs on integers
• scientific article; zbMATH DE number 546874 (Why is no real title available?)
• Tutorial on Subtype Marks
• Proof checking and logic programming
• Inference rules for programming languages with side effects in expressions
• Formalizing Dijkstra's predicate transformer wp in weak second-order logic

This page was built for publication:

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