Login / Signup

Invariants Synthesis over a Combined Domain for Automated Program Verification.

Shengchao QinGuanhua HeWei-Ngan ChinHongli Yang
Published in: Theories of Programming and Formal Methods (2013)
Keyphrases
  • domain independent
  • database
  • domain specific
  • databases
  • neural network
  • multiscale
  • semi automated
  • domain models
  • data sets
  • search engine
  • computer vision
  • web services
  • decision trees
  • domain experts
  • fully automated