Automated Flaw Detection in Algebraic Specifications.
Andriy DunetsGerhard SchellhornWolfgang ReifPublished in: J. Autom. Reason. (2010)
Keyphrases
- automatic detection
- detection algorithm
- detection method
- automated analysis
- detection rate
- fully automated
- detection accuracy
- false alarms
- e learning
- higher order
- semi automated
- formal specification
- false positives
- change detection
- reactive systems
- detection scheme
- context sensitive
- database
- semi automatic
- anomaly detection
- data driven
- social networks
- artificial intelligence
- neural network