Encapsulating deontic and branching time specifications.
Pablo F. CastroT. S. E. MaibaumPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- temporal logic
- model checking
- concurrent systems
- formal specification
- reactive systems
- model checker
- temporal reasoning
- bounded model checking
- modal logic
- formal verification
- classical logic
- epistemic logic
- deontic logic
- operational semantics
- written in natural language
- delay insensitive
- representation language
- control flow
- databases
- finite state machines
- high level
- programming language
- relational databases
- search algorithm
- multiscale
- computer vision