State of the art verification methodologies in 2015.

Allan Crone Oliver Bringmann C. Chevallaz B. Dickman Volkan Esen M. Rohleder

Published in: DATE (2011)

Keyphrases

model checking
data mining
artificial intelligence
formal verification
functional verification
machine learning
verification method
data sets
real world
search algorithm
database
information systems
metadata
multiscale
objective function
concurrent systems