Verified Bytecode Model Checkers.

David A. Basin Stefan Friedrich Marek Gawkowski

Published in: TPHOLs (2002)

Keyphrases

probabilistic model
statistical model
sensitivity analysis
management system
theoretical analysis
experimental data
bayesian framework
neural network
high level
prior knowledge
theoretical framework
mathematical model
conceptual model