[safety-semantics] Types of solutions, assumptions, contexts
These types support defining the expected and actual input domain, specifying verification cases and controlling the type of needed evidence
- Type of context: verification case, input domain
- Type of assumption: input domain
- Type of solutions (SALSA):
* process-based
* product-based* Verification results
* Status of verification results
- State of solutions (SALSA)
Up-to-date
Outdated
Required
Evaluation pending
Evaluated
(from redmine: issue id 3665, created on 2019-03-04, closed on 2020-08-10)