Proving the Refuted: Symbolic Model Checkers as Proof Generators.
Ittai BalabanAmir PnueliLenore D. ZuckPublished in: Concurrency, Compositionality, and Correctness (2010)
Keyphrases
- probabilistic model
- high level
- experimental data
- mathematical model
- management system
- theoretical analysis
- statistical model
- hybrid model
- databases
- classification models
- computational models
- sensitivity analysis
- hierarchical structure
- theoretical framework
- regression model
- maximum likelihood
- probability distribution
- cost function
- prior knowledge