登陆
注册
工具列表
Tool list
CPAchecker
2020-06-01
308
-
Email FI identification and resolution with model checking
In this paper, we show that model checking is also suitable to detect FIs in more complex domains an...
-
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation
CPAchecker is a freely available software-verification framework, built on the concepts of Configura...
-
采用CPAChecker的动态程序验证
针对模型检测中状态空间爆炸问题,在CPAChecker的抽象谓词检测方法的基础上,提出了一种基于动态执行的检测方法.首先,根据程序的控制流程图,对程序进行静态检测。在静态检测的过程中,根据分支语句的确...
