Formal verification of components assembly based on SysML and interface automata.
Samir ChoualiAhmed HammadPublished in: Innov. Syst. Softw. Eng. (2011)
Keyphrases
- formal verification
- model checking
- model checker
- formal methods
- symbolic model checking
- safety analysis
- bounded model checking
- automated verification
- assembly process
- finite state
- user interface
- cellular automata
- regular expressions
- program slicing
- user friendly
- design patterns
- expert systems
- artificial intelligence