Sign in
基于DNA计算的计算树逻辑模型检测方法研究进展 (Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking).
Yingjie Han
Qinglei Zhou
Weijun Zhu
Published in:
计算机科学 (2019)
Keyphrases
</>
model checking
computation tree logic
dna computing
temporal logic
finite state
temporal properties
formal verification
dna sequences
multi agent
state space
model checker
symbolic model checking
linear temporal logic