An Extension to Pointer Logic for Verification.
Zhifang WangYiyun ChenZhenming WangWei WangBo TianPublished in: TASE (2008)
Keyphrases
- linear time temporal logic
- asynchronous circuits
- model checking
- verification method
- modal logic
- data structure
- natural deduction
- logic programming
- temporal logic
- epistemic logic
- model checker
- data sets
- real time
- automated reasoning
- monadic second order logic
- nonmonotonic logics
- formal verification
- computational properties
- classical logic
- multi valued
- belief revision
- case study