formality验证

formality验证的技术总结，成功与失败的验证的例子的对比