Bayesian statistical parametric verification and synthesis by machine learning