This repository was archived by the owner on Jun 26, 2023. It is now read-only.
Labels
Labels
23 labels
- Includes all tasks that are related to work that enables the implementation
- Writing, formalizing, proving and/or testing properties that the update mechanism should satisfy