Assume-Guarantee Verification for Interface Automata.
Michael EmmiDimitra GiannakopoulouCorina S. PasareanuPublished in: FM (2008)
Keyphrases
- user interface
- model checking
- visual interface
- finite automata
- regular expressions
- user friendly
- neural network
- formal verification
- cellular automata
- digital libraries
- data structure
- finite state
- probabilistic automata
- information systems
- graphical interface
- person identification
- concurrent systems
- timed automata
- human machine interface
- data sets
- computer interface
- interface design
- face verification
- machine learning