Estimation of formal verification cost using regression machine learning.
Eman El MandouhAmr G. WassalPublished in: HLDVT (2016)
Keyphrases
- formal verification
- machine learning
- model checking
- bounded model checking
- model checker
- ordinary least squares
- symbolic model checking
- model selection
- automated verification
- regression model
- classification and regression problems
- knowledge acquisition
- machine learning methods
- nonparametric regression
- semi parametric
- machine learning algorithms
- robust regression
- linear regression
- data mining
- estimation error
- density estimation
- estimation problems
- information extraction
- active learning
- support vector
- decision trees
- gaussian processes
- cost sensitive
- fuzzy sets
- learning algorithm
- mercer kernels
- regression algorithm
- parameter estimation
- ridge regression
- support vector machine
- program slicing