Bogor: A Flexible Framework for Creating Software Model Checkers.
RobbyMatthew B. DwyerJohn HatcliffPublished in: TAIC PART (2006)
Keyphrases
- statistical model
- mathematical model
- computational model
- markov chain
- network model
- experimental data
- theoretical framework
- theoretical analysis
- computer systems
- data sets
- software development
- data model
- multiscale
- object oriented
- probabilistic model
- hidden markov models
- parameter estimation
- cost function
- prior knowledge
- high level
- simulation model
- prediction model
- machine learning