Proving correctness of implementation techniques

• 1 January 1971
• book chapter
• Published by Springer Nature
• p. 178-211
• https://doi.org/10.1007/bfb0059698

Abstract

Keywords

• STATE TRANSITION
• STATE COMPONENT
• IMPLEMENTATION MODEL
• PROCEDURE ACTIVATION
• CORRECTNESS PROOF