Automated domain-specific C verification with mbeddr.

Zaur Molotnikov Markus Völter Daniel Ratiu

Published in: ASE (2014)

Keyphrases

domain specific
domain independent
general purpose
model checking
semi automated
neural network
fully automated
database
face verification
computer assisted
semi automatic
verification method
domain ontology
domain experts
data driven
image processing
search engine
real time