Login / Signup
A Survey of Automated Techniques for Formal Software Verification.
Vijay Victor D'Silva
Daniel Kroening
Georg Weissenbacher
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
</>
semi automated
fully automated
data driven
databases
image processing
context sensitive
data sets
real world
genetic algorithm
feature selection
wireless sensor networks
computer aided
formal model
automated analysis