Project

General

Profile

Feature #3717

Feature #3785: [safety-integration] Integration of assurance cases with other tools

[thesis] Import verification results for illegal method call sequences

Added by Anonymous over 1 year ago. Updated about 1 month ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/22/2019
Due date:
% Done:

0%

Estimated time:

History

#1 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC1 (Feature Freeze) to AF3 2.16 RC1 (Feature Freeze)

#2 Updated by Carmen Carlan about 1 year ago

  • Assignee changed from Anonymous to Carmen Carlan
  • Parent task set to #3785

#3 Updated by Alexander Diewald 12 months ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.17 (Feature Freeze)

#4 Updated by Johannes Eder 5 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to AF3 2.18 - Feature Freeze

#5 Updated by Carmen Carlan about 1 month ago

  • Assignee changed from Carmen Carlan to Johannes Eder

This should be rejected since it will not be implemented anymore

#6 Updated by Johannes Eder about 1 month ago

  • Status changed from New to Rejected
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF