Specifications, programs, and total correctness

DOI10.1016/S0167-6423(98)00027-6zbMath0939.68074MaRDI QIDQ1806131

Eric C. R. Hehner

Publication date: 1 November 1999

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

total correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A fixpoint theory for non-monotonic parallelism

This page was built for publication: Specifications, programs, and total correctness