Heap verification; Model checking; MSVL; PPTL; Separation logic;
机译:通过统一模型检查验证堆
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:使用统一模型检查来验证堆
机译:将类型检查与模型检查相结合以进行系统验证
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用归纳谓词的符号堆分离逻辑的模型检查
机译:基于符号模型检验的大型模型可诊断性实用形式验证