Login / Signup
Invariants Synthesis over a Combined Domain for Automated Program Verification.
Shengchao Qin
Guanhua He
Wei-Ngan Chin
Hongli 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