Sequoll: A framework for model checking binaries.
Bernard Blackham, Gernot Heiser
VenueARTAS
Year2013
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/BlackhamH13 ↗
Browse the full RTAS paper archive.
Bernard Blackham, Gernot Heiser
Browse the full RTAS paper archive.