Component-interaction automata as a verification-oriented component-based system specification.
Lubos BrimIvana CernáPavlína VarekováBarbora ZimmerovaPublished in: ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- user interaction
- model checking
- protocol specification
- formal specification
- specification language
- human computer interaction
- real time
- software components
- regular expressions
- finite state
- formal languages
- data sets
- multi agent systems
- oriented programming
- interaction model
- artificial intelligence
- signature verification
- multi agent
- face verification
- human robot interaction
- database
- user defined