ACTL for Modal Interface Automata.
Ferenc BujtorWalter VoglerPublished in: Theor. Comput. Sci. (2017)
Keyphrases
- temporal logic
- modal logic
- model checking
- finite state
- finite state machines
- transition systems
- cellular automata
- user interface
- satisfiability problem
- visual interface
- finite automata
- computation tree logic
- belief revision
- user friendly
- friendly interface
- human computer interface
- graphical interface
- databases
- direct manipulation
- formal specification
- finite state automata
- temporal properties
- modal operators
- turing machine
- database
- website
- real time