粘贴自动机相关论文
突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式pUq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检......
线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的......
