Ensuring correctness by arbitrary postfixed-points

• 1 January 1978
• book chapter
• Published by Springer Nature
• p. 484-492
• https://doi.org/10.1007/3-540-08921-7_96

Abstract

Keywords

• TRANSITION SYSTEM
• INDUCTION STEP
• TRANSITION RULE
• TOTAL CORRECTNESS
• DENOTATIONAL SEMANTIC