A Problem-Reduction Approach to Proving Simulation Between Programs

@article{Birman1976APA,
  title={A Problem-Reduction Approach to Proving Simulation Between Programs},
  author={Alexander Birman and William H. Joyner},
  journal={IEEE Transactions on Software Engineering},
  year={1976},
  volume={SE-2},
  pages={87-96}
}
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… CONTINUE READING