Login / Signup
DC2: A framework for scalable, scope-bounded software verification.
Franjo Ivancic
Gogul Balakrishnan
Aarti Gupta
Sriram Sankaranarayanan
Naoto Maeda
Hiroki Tokuoka
Takashi Imoto
Yoshiaki Miyazaki
Published in:
ASE (2011)
Keyphrases
</>
main contribution
real world
neural network
artificial intelligence
lightweight
key features
computational framework
data sets
web services
decision trees
evolutionary algorithm
computational model