• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.

Thomas W. RepsJunghee LimAditya V. ThakurGogul BalakrishnanAkash Lal
Published in: CAV (2010)
Keyphrases
  • model checking
  • source code
  • feature selection
  • information retrieval
  • e learning
  • web services
  • relational databases