A proof rule for while loop in VDM

DOI10.1007/BF02943366zbMath0685.68020OpenAlexW2089717591MaRDI QIDQ1262115

Yongsen Xu, Xinjie Jiang

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1007/bf02943366

zbMATH Keywords

VDMtwo-state post-conditions

Mathematics Subject Classification ID

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

Cites Work

• Predicative programming Part I
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A proof rule for while loop in VDM