Formally verified big step semantics out of x86-64 binaries.

Ian Roessle Freek Verbeek Binoy Ravindran

Published in: CPP (2019)

Keyphrases

source code
control flow
post processing
multi step
logic programming
open source software
website
database systems
data model
information systems
real time
semantic information
preprocessing step
default reasoning
formal semantics
semantic representation
data mining