Incremental Witness Generation for Branching-Time Logic CTL.

Xiangyu Luo Sen Liang Lixiao Zheng Zuxi Chen Fan Yang

Published in: IEEE Trans. Reliab. (2022)

Keyphrases

epistemic logic
temporal logic
model checking
modal logic
linear temporal logic
computation tree logic
bounded model checking

model checker
alternating time temporal logic
inference rules
multi agent systems
transition systems
predicate logic
logical framework

incremental learning
mathematical theory
multi faceted
asynchronous circuits
satisfiability problem
formal semantics
logic programming

data driven
classical logic
generation process
formal verification
multi valued
automated reasoning