iCoq: regression proof selection for large-scale verification projects.
Ahmet ÇelikKarl PalmskogMilos GligoricPublished in: ASE (2017)
Keyphrases
- regression model
- case study
- model checking
- real world
- small scale
- database
- machine learning
- software development
- data sets
- formal proof
- polynomial regression
- asynchronous circuits
- formal verification
- selection strategy
- selection algorithm
- real life
- information systems
- support vector regression
- gaussian processes
- regression analysis
- least squares
- regression method
- simple linear
- support vector
- locally weighted
- neural network
- complete axiomatization