Date: 2014-05-29 15:38:01Mathematics Formal methods Edsger W. Dijkstra Predicate transformer semantics Errors and residuals Function Science and technology | | Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon UAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source Website File Size: 162,98 KBShare Document on Facebook
|