A Complete Method for Symmetry Reduction in Safety Verification.
Duc-Hiep ChuJoxan JaffarPublished in: CAV (2012)
Keyphrases
- high accuracy
- main contribution
- synthetic data
- preprocessing
- prior knowledge
- high precision
- similarity measure
- significant improvement
- fully automatic
- experimental evaluation
- computational cost
- data sets
- feature set
- verification method
- evaluation method
- classification method
- error rate
- detection method
- mutual information
- dynamic programming
- image processing
- learning algorithm