Automating regression verification of pointer programs by predicate abstraction.
Vladimir KlebanovPhilipp RümmerMattias UlbrichPublished in: Formal Methods Syst. Des. (2018)
Keyphrases
- hardware designs
- data structure
- regression model
- linear regression
- high level
- symbolic execution
- bounded model checking
- model checking
- support vector regression
- regression method
- regression problems
- locally weighted
- gaussian processes
- simple linear
- aggregating algorithm
- regression function
- automatic programming
- regression algorithm
- computer programs
- first order logic
- model selection
- formal verification
- data abstraction
- asynchronous circuits
- regression methods
- verification method
- gaussian process
- polynomial regression
- objective function