Login / Signup

A complete formal semantics of x86-64 user-level instruction set architecture.

Sandeep DasguptaDaejun ParkTheodoros KasampalisVikram S. AdveGrigore Rosu
Published in: PLDI (2019)
Keyphrases
  • formal semantics
  • logical language
  • logical reasoning
  • theorem prover
  • case study
  • databases
  • machine learning
  • first order logic