作者:
KNOWLTON, KCBell Telephone Laboratories
Inc. Murray Hill N. J. Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions
A scheme is proposed for automatically detecting many programming errors; in particular, those errors which can cause a program to misbehave in different ways, depending upon how the faulty program and its data are ma...
详细信息
A scheme is proposed for automatically detecting many programming errors; in particular, those errors which can cause a program to misbehave in different ways, depending upon how the faulty program and its data are mapped into storage. Error detection is accomplished by simultaneously running two versions of a program which purport to be logically identical, with appropriate hardware checking between them.
暂无评论