Directed Proof Generation for Machine Code
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Lecture Notes in Computer Science, volume 6174
Springer
Pages 288-305
2010
Note(s): binary analysis
Lecture Notes in Computer Science, volume 6174
Springer
Pages 288-305
2010
Note(s): binary analysis