IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic verification of object code against source code

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Subramanian, S. ; Cook, J.V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 46 - 55
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507874
Regular:

An important step when applying formal methods to gain assurance of trusted systems is the verification of object code against source code. One way to mechanically verify that the object code... View More

Advertisement