Referenced Items are not available for this document.
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.
Published in:
Software Engineering, IEEE Transactions on
(Volume:SE-2
,
Issue:
2
)
Date of Publication: June 1976
- Page(s):
- 87 - 96
- ISSN :
- 0098-5589
- Digital Object Identifier :
- 10.1109/TSE.1976.233535
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 18 September 2006
- Issue Date :
- June 1976
- Sponsored by :
- IEEE Computer Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
