Component-interaction automata as a verification-oriented component-based system specification.
Lubos BrimIvana CernáPavlína VarekováBarbora ZimmerovaPublished in: SAVCBS@ESEC/FSE (2005)
Keyphrases
- formal verification
- model checking
- formal methods
- asynchronous circuits
- formal specification
- human computer interaction
- high level
- user interaction
- finite state
- protocol specification
- colored petri nets
- specification language
- human robot interaction
- regular expressions
- software components
- cellular automata
- provably correct
- information systems
- real time