On the Verification of Finite Failure.

Roberta Gori Giorgio Levi

Published in: PPDP (1999)

Keyphrases

model checking
face verification
failure rate
formal verification
failure detection
concurrent systems
database
real time
machine learning
website
temporal logic
finite number
finite automata
failure modes
failure prediction
functional verification