Slicing an Integrated Formal Method for Verification.
Ingo BrücknerHeike WehrheimPublished in: ICFEM (2005)
Keyphrases
- high accuracy
- pairwise
- experimental evaluation
- computational cost
- high precision
- computationally efficient
- detection method
- data sets
- optimization method
- synthetic data
- main contribution
- clustering method
- formal specification
- fully automatic
- error rate
- maximum likelihood
- mutual information
- edge detection
- significant improvement
- computational complexity