3 SVM Features Requirement traceability –Associates requirements and system architecture with multiple external model representations Verification activity management –identifies verification activities that need to be re-executed when changes are made Verification result management –access to the status and results of requirements-driven verification activities Extensible, open framework –Flexible definition and reuse of models and verification methods
