DocumentCode
747412
Title
A Problem-Reduction Approach to Proving Simulation Between Programs
Author
Birman, Alexander ; Joyner, William H., Jr.
Author_Institution
IBM Thomas J. Watson Research Center
Issue
2
fYear
1976
fDate
6/1/1976 12:00:00 AM
Firstpage
87
Lastpage
96
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
Correctness; interactive system; microprogram validation; problem reduction; simulation between programs; symbolic execution; theorem proving; Certification; Computational modeling; Interactive systems; Correctness; interactive system; microprogram validation; problem reduction; simulation between programs; symbolic execution; theorem proving;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1976.233535
Filename
1702346
Link To Document