Towards a Feature mu-Calculus Targeting SPL Verification.

Maurice H. ter Beek Erik P. de Vink Tim A. C. Willemse

Published in: FMSPLE (2016)

Keyphrases

image features
feature vectors
feature representation
databases
object recognition
model checking
genetic algorithm
database systems
data model
hidden markov models
feature set
formal verification
spl times
functional verification