基本开销配置相关硕士博士期刊学术论文

运行时验证是一种轻量级的形式化验证方法，它通过检测目标系统的当前执行是否满足给定的高层规约来实现对目标系统的验证。对于复杂......