Is CADP an Applicable Formal Method?
Hubert GaravelFrédéric LangRadu MateescuWendelin SerwePublished in: AppFM@FM (2021)
Keyphrases
- detection algorithm
- cost function
- objective function
- high accuracy
- error rate
- computational cost
- fully automatic
- experimental study
- support vector machine
- data sets
- experimental evaluation
- pairwise
- computational complexity
- similarity measure
- significant improvement
- main contribution
- detection method
- synthetic data
- computer vision
- high precision
- genetic algorithm