Login / Signup
Model Checking for Computation Tree Logic with Past Based on DNA Computing.
Yingjie Han
Qinglei Zhou
Linfeng Jiao
Kai Nie
Chunyan Zhang
Weijun Zhu
Published in:
BIC-TA (2017)
Keyphrases
</>
computation tree logic
dna computing
model checking
temporal logic
dna sequences
bounded model checking
formal verification
epistemic logic
formal specification
finite state
temporal properties
model checker
symbolic model checking
satisfiability problem
concurrent systems
modal logic