Mathematical theory of partial correctness

DOI10.1016/S0022-0000(71)80035-1zbMath0215.55905MaRDI QIDQ2545842

Zohar Manna

Publication date: 1971

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Related Items (10)

Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ Verification of Correctness of Parallel Algorithms in Practice ⋮ Hoare logic-based genetic programming ⋮ On the completeness of the inductive assertion method ⋮ Correctness of parallel programs: The Church-Rosser approach ⋮ The correctness of nondeterministic programs ⋮ Synthetic programming ⋮ Current methods for proving program correctness ⋮ Correctness of recursive parallel nondeterministic flow programs

Cites Work

• Proving assertions about parallel programs
• The correctness of nondeterministic programs
• Nondeterministic Algorithms
• Formalization of Properties of Functional Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mathematical theory of partial correctness