piCoq: parallel regression proving for large-scale verification projects.
Karl PalmskogAhmet ÇelikMilos GligoricPublished in: ISSTA (2018)
Keyphrases
- small scale
- parallel processing
- regression model
- case study
- software development
- parallel implementation
- real life
- real world
- formal verification
- gaussian processes
- support vector regression
- software projects
- model checking
- project management
- regression analysis
- shared memory
- face verification
- regression problems
- computer architecture
- web scale
- regression methods
- database
- parallel execution
- regression algorithm
- parallel hardware