Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.
Rachel TzorefOrna GrumbergPublished in: CAV (2006)
Keyphrases
- automatic evaluation
- object detection
- detection method
- automatic detection
- data driven
- information systems
- anomaly detection
- evaluation process
- detection accuracy
- real time
- evaluation criteria
- fully automatic
- evaluation model
- evaluation methods
- gold standard
- false alarms
- evaluation method
- detection algorithm
- model checking
- semi automatic
- false positives
- high level
- refinement process