形式验证(第七讲),主要讲述了形式验证的基本概念和应用