Scaling symbolic evaluation for automated verification of systems code with Serval.
Luke NelsonJames BornholtRonghui GuAndrew BaumannEmina TorlakXi WangPublished in: SOSP (2019)
Keyphrases
- automated verification
- model checking
- genetic algorithm
- case study
- distributed systems
- source code
- evaluation criteria
- building blocks
- computer systems
- management system
- neural network
- database
- database systems
- search engine
- machine learning
- probabilistic inference
- relevance assessments
- evaluation campaigns
- real time