Login / Signup

Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic.

Magnus O. MyreenMichael J. C. GordonKonrad Slind
Published in: FMCAD (2008)
Keyphrases
  • asynchronous circuits
  • model checking
  • neural network
  • multi valued
  • database
  • information retrieval
  • case study
  • database systems
  • scheduling problem
  • programming language
  • source code
  • logic programs
  • flowshop