Login / Signup

BAT: The Bit-Level Analysis Tool.

Panagiotis ManoliosSudarshan K. SrinivasanDaron Vroon
Published in: CAV (2007)
Keyphrases
  • analysis tool
  • artificial neural networks
  • database
  • databases
  • data structure
  • evolutionary algorithm
  • levels of abstraction