Modular correctness proofs of behavioural implementations

• 1 November 1998
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 35  (11) , 951-1005
• https://doi.org/10.1007/s002360050149

Abstract

Keywords

• THEOREM PROVER
• CENTRAL OBJECTIVE
• INDISTINGUISHABILITY RELATION
• PROOF TECHNIQUE
• PROOF OBLIGATION