Certifiable Safe AI