Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
Mohamed RamdaniLaïd KahloulMohamed KhalguiPublished in: ICSOFT (2018)
Keyphrases
- complex systems
- classification systems
- model checking
- classification scheme
- pattern recognition
- support vector
- machine learning
- feature extraction
- feature selection
- pattern classification
- support vector machine
- management system
- low cost
- automatic classification
- support vector machine svm
- benchmark datasets
- classification method
- computer systems
- text classification
- image classification
- distributed systems
- general purpose
- feature vectors
- decision trees
- formal methods
- labor intensive
- data sets
- statistical classification
- semi automatic
- model selection
- feature set
- classification accuracy
- expert systems
- face recognition
- high level
- real world