...
机译:存在代码可变性的过程程序的算法验证
KTH Royal Institute of Technology, Stockholm, Sweden;
KTH Royal Institute of Technology, Stockholm, Sweden;
Compositional verification; Model checking; Maximal models;
机译:目前的程序术语编码用于手术病理的审查和一个学术中心的病理学家验证编码经验
机译:高效的等价 - 检查渐进式半群网关模型中程序程序的算法
机译:验证程序程序的定量时间特性
机译:存在代码可变性的过程程序的算法验证
机译:存在代数性质的密码协议验证算法。
机译:使用基于整数非线性方法的开放代码可编程算法从连续葡萄糖数据中计算血糖波动的平均幅度
机译:在代码可变性存在的情况下对程序程序的算法验证