Model Checking x86 Executables with CodeSurfer/x86 and WPDS
Balakrishnan, G., Reps, T., Kidd, N., Lal, A., Lim, J., Melski, D., Gruian, R., Yong, S., Chen, C. -H., Teitelbaum, T.
Published in Computer Aided Verification (2005)
Published in Computer Aided Verification (2005)
Get full text
Book Chapter
Conference Proceeding