A Case Study on Parametric Verification of Failure Detectors.

Thanh-Hai Tran Igor Konnov Josef Widder

Published in: FORTE (2021)

Keyphrases

object detection
case study
model checking
face verification
data mining
test bed
failure rate
formal verification
failure detection
failure prediction
real world
machine learning
similarity measure
formal analysis
signature verification
verification method