之前版本:
大家先想办法用一用这个CPAchecker。可以部署到电脑上(https://cpachecker.sosy-lab.org)(windows linux Mac都能用) 或者用这个在线的(https://cpachecker.appspot.com/) 至于如何安装使用,在github上(https://github.com/sosy-lab/cpachecker)可以找找看
当前版本:
大家先想办法用一用这个CPAchecker。可以部署到电脑上(https://cpachecker.sosy-lab.org)(windows linux Mac都能用) 或者用这个在线的(https://cpachecker.appspot.com/) 至于如何安装使用,在github上(https://github.com/sosy-lab/cpachecker)可以找找看。
我找到了一个example比较有参考价值,大家看一下(https://sosy-lab.gitlab.io/research/tutorials/CPAchecker/ShortIntroductionCPAchecker.html)