Model Elimination with Simplification and its Application to Software Verification.
Peter BaumgartnerDorothea SchäferPublished in: Tool Support for System Specification, Development and Verification (1998)
Keyphrases
- neural network model
- objective function
- mathematical model
- probabilistic model
- simulation model
- high level
- experimental data
- probability distribution
- hybrid model
- theoretical framework
- computational model
- management system
- similarity measure
- genetic algorithm
- database
- cost function
- theoretical analysis
- parameter estimation
- artificial neural networks
- expert systems
- preprocessing
- neural network
- object model
- databases