Methods to Model-Check Parallel Systems Software
Olga Shumsky MatlinWilliam McCuneEwing L. LuskPublished in: CoRR (2003)
Keyphrases
- statistical models
- computational cost
- management system
- statistical methods
- computational model
- mathematical model
- mathematical models
- learning models
- qualitative and quantitative
- prior knowledge
- significant improvement
- probabilistic model
- information systems
- linear regression
- benchmark datasets
- source code
- probability distribution
- preprocessing
- classification models
- similarity measure
- machine learning
- monte carlo simulation
- software developers
- formal methods
- commercial software