eclipse-score / eclipse-score/score
Baselibs Formal Document Reviews
Open
- Dominant language
- Starlark
- Stars
- 109
- Forks
- 105
- Avg merge
- 1d 9h
- Merged PRs (30d)
- 21
Description
### What
Baselibs Formal Document Review Checklists are filled our for Safety-Plan, -Package, -Analysis
### How
See workflows https://eclipse-score.github.io/process_description/main/process_areas/safety_management/safety_management_workflow.html#wf__p_formal_rv
### Estimates for realization
60h
### Category
- [ ] Affects Detailed Design
### Requirements / Architecture
- [x] Requirements / Architecture are not affected by this change?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.