代码的验证

  • 打开文件之后,右侧的“Attribute Selection”栏中出现了该项目中的验证属性

    image

  • 点击验证按钮,可以对该项目进行验证操作

    image

  • 在页面下方的“Log”栏中给出了验证结果(True/False)

    image

  • 在页面右下方的“Counter Trace”栏中给出了验证错误的反例路径

    image