A language of specified programs

DOI10.1016/0167-6423(85)90004-8zbMath0559.68023OpenAlexW2005958325MaRDI QIDQ2265800

Andrzej Tarlecki

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1016/0167-6423(85)90004-8

zbMATH Keywords

correctnessspecified programs

Mathematics Subject Classification ID

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

Related Items

Convolution as a Unifying Concept ⋮ Developments in concurrent Kleene algebra ⋮ Inductive assertion method for logic pograms ⋮ Exploring an Interface Model for CKA ⋮ Proof obligations for blocks and procedures ⋮ Probabilistic rely-guarantee calculus