Incremental Witness Generation for Branching-Time Logic CTL.
Xiangyu LuoSen LiangLixiao ZhengZuxi ChenFan YangPublished 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