Keyphrases
- temporal logic
- model checking
- modal logic
- finite state
- finite state machines
- transition systems
- user interface
- satisfiability problem
- computation tree logic
- user friendly
- model checker
- tree automata
- cellular automata
- human computer interface
- nonmonotonic logics
- regular expressions
- website
- epistemic logic
- databases
- probabilistic automata
- linear temporal logic
- neural network
- modal operators
- finite automata
- graphical interface
- formal verification
- interface design
- formal methods
- information systems
- formal specification
- inference rules