There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.

Thomas W. Reps Junghee Lim Aditya V. Thakur Gogul Balakrishnan Akash Lal

Published in: CAV (2010)

Keyphrases

model checking
source code
feature selection
information retrieval
e learning
web services
relational databases