An inheritance-based technique for building simulation proofs incrementally

This paper presents a formal technique for incremental construction of system specifications, algorithm descriptions, and simulation proofs showing that algorithms meet their specifications.The tec...