A History-based Verification of Distributed Applications.

Bruno Langenstein Andreas Nonnengart Georg Rock Werner Stephan

Published in: VERIFY (2007)

Keyphrases

model checking
evolutionary algorithm
formal verification
database
computer vision
feature selection
hidden markov models
mobile robot
formal analysis
signature verification
functional verification