Skip to content

No labels!

There aren’t any labels for this repository quite yet.

47 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
backlog
backlog
23
Blocked
Blocked
4
Committer Validation
Committer Validation
D4.1 VnV Plan Review
D4.1 VnV Plan Review
D4.2.1 MODEL-Verification
D4.2.1 MODEL-Verification
15
D4.2.2 CODE-Verification
D4.2.2 CODE-Verification
5
D4.2.3 Safety Plan
D4.2.3 Safety Plan
7
D4.3 Deliveries
D4.3 Deliveries
4
deferred
deferred
2
Done
Done
Impediment
Impediment
in progress
in progress
14
In Work
In Work
5
Ready
Ready
5
safety
safety
10
testing
testing
1
TestSpecificationAvailable
TestSpecificationAvailable
US-Assess-Project-Results
US-Assess-Project-Results
1
US-Concurrent-Verification-and-Validation
US-Concurrent-Verification-and-Validation
11
US-Create-Verification-Plan
US-Create-Verification-Plan
US-Define-Data-Structure
US-Define-Data-Structure
2
US-Define-Toolchain-Constraints
US-Define-Toolchain-Constraints
1
US-Define-Verification-Task
US-Define-Verification-Task
4
US-Perform-Hazard-and-Risk-Analysis
US-Perform-Hazard-and-Risk-Analysis
5
US-Provide-V&V-Process-Description
US-Provide-V&V-Process-Description
1
US-Verify-Architecture-Model
US-Verify-Architecture-Model
1
US-Verify-Behavioural-Model
US-Verify-Behavioural-Model
12
US-Verify-Safety-Objectives
US-Verify-Safety-Objectives
2
User Story 1
User Story 1
1
User Story 2
User Story 2
1