A Problem-Reduction Approach to Proving Simulation Between Programs

1 June 1976

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-2 (2) , 87-96
https://doi.org/10.1109/TSE.1976.233535

Abstract

System correctness often presents itself as the problem of showing that two programs, the "specification" and the "implementation," are in some sense equivalent. Such a concept of equivalence is supplied by Milner's definition of simulation between programs. This paper presents a problem-reduction approach to proving simulation, and describes an interactive system designed for this purpose.

Keywords

COMPUTATIONAL MODELING
INTERACTIVE SYSTEMS
CERTIFICATION