《表1 PiSPEC的一阶谓词逻辑》

《表1 PiSPEC的一阶谓词逻辑》   提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于Prover的联锁软件形式化验证过程研究》


  1. 获取 高清版本忘记账户?点击这里登录
  1. 下载图表忘记账户?点击这里登录

PiSPEC语法中最重要的部分是谓词逻辑,表1描述了建模时常用的谓词逻辑。