Keyphrases
- asynchronous circuits
- programming language
- transition systems
- linear temporal logic
- reactive systems
- formal language
- state machine
- specification language
- high level
- active rules
- classical logic
- logic programming
- unified model
- code generation
- modal logic
- multi valued
- programming environment
- operational semantics
- user defined
- logical framework
- formal methods
- development environment
- epistemic logic
- specification languages
- databases
- general purpose
- deontic logic
- truth values
- exception handling
- predicate logic
- formal verification
- automated reasoning
- computer programming