An approach: SysML-based automated requirements verification.
Aurelijus MorkeviciusNerijus JankeviciusPublished in: ISSE (2015)
Keyphrases
- formal methods
- safety analysis
- model checking
- formal analysis
- artificial intelligence
- user requirements
- functional verification
- control system
- computer assisted
- fully automated
- semi automated
- face verification
- application specific
- asynchronous circuits
- safety critical
- software engineering
- data model
- database systems
- information systems
- search engine