Pages that link to "Item:Q1843170"

The following pages link to Automatic program verification. I: A logical basis and its implementation (Q1843170):

Displayed 13 items.

• A decomposition rule for the Hoare logic (Q1097683) ‎ (← links)
• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) ‎ (← links)
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704) ‎ (← links)
• Hoare's logic and Peano's arithmetic (Q1170877) ‎ (← links)
• Reasoning about programs (Q1212353) ‎ (← links)
• Structured implementation of symbolic execution: A first part in a program verifier (Q1216047) ‎ (← links)
• PASCAL in LCF: Semantics and examples of proof (Q1242670) ‎ (← links)
• Formal verification of a programming logic for a distributed programming language (Q1285659) ‎ (← links)
• The automated proof of a trace transformation for a bitonic sort (Q1822503) ‎ (← links)
• The verification and synthesis of data structures (Q1844075) ‎ (← links)
• Secure mechanical verification of mutually recursive procedures (Q1887136) ‎ (← links)
• Axiomatic approach to total correctness of programs (Q2561482) ‎ (← links)
• Current methods for proving program correctness (Q3911363) ‎ (← links)