A feature-based classification of formal verification techniques for software models.
Sebastian GabmeyerPetra KaufmannMartina SeidlMartin GogollaGerti KappelPublished in: Softw. Syst. Model. (2019)
Keyphrases
- formal verification
- classification models
- classification accuracy
- model checking
- model selection
- feature selection
- machine learning algorithms
- decision trees
- pattern recognition
- supervised learning
- image classification
- machine learning methods
- probabilistic model
- feature space
- feature extraction
- support vector machine svm
- neural network
- class labels
- source code
- program slicing