6.1 形式验证的目的和基本方法
6.1.2 形式验证的基本方法