A bayesian approach to model checking biological systems