Training formal methods