Paraconsistent Computation Tree Logic.
Ken KaneiwaNorihiro KamidePublished in: New Gener. Comput. (2011)
Keyphrases
- computation tree logic
- model checking
- temporal logic
- epistemic logic
- inference rules
- bounded model checking
- logic programming
- temporal properties
- modal logic
- formal specification
- possibilistic logic
- symbolic model checking
- formal verification
- mathematical theory
- model checker
- incomplete information
- minimal change
- linear temporal logic
- expressive power
- software engineering