Impartial Anticipation in Runtime-Verification.

Wei Dong Martin Leucker Christian Schallhart

Published in: ATVA (2008)

Keyphrases

model checking
formal verification
databases
face verification
real time
genetic algorithm
image processing
data structure
temporal logic
signature verification
verification method