Feature-Aware Verification

Sven Apel Hendrik Speidel Philipp Wendler Alexander von Rhein Dirk Beyer

Published in: CoRR (2011)

Keyphrases

feature vectors
preprocessing step
databases
social networks
image processing
model checking
functional verification
genetic algorithm
preprocessing
formal verification