Pages that link to "Item:Q2545842"
From MaRDI portal
The following pages link to Mathematical theory of partial correctness (Q2545842):
Displaying 10 items.
- Hoare logic-based genetic programming (Q543275) (← links)
- Synthetic programming (Q761788) (← links)
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704) (← links)
- On the completeness of the inductive assertion method (Q1236426) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- The correctness of nondeterministic programs (Q2541847) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
- Verification of Correctness of Parallel Algorithms in Practice (Q4609778) (← links)
