Configurable Benchmarks for C Model Checkers.
Xaver FinkPhilipp BergerJoost-Pieter KatoenPublished in: NFM (2022)
Keyphrases
- formal model
- probabilistic model
- mathematical model
- database
- high level
- parameter estimation
- computational model
- analytical model
- classification models
- parameter values
- simulation model
- conceptual model
- network structure
- statistical model
- process model
- em algorithm
- management system
- probability distribution
- optimal solution
- decision trees
- information retrieval
- neural network