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