AlphaUncommon
NASA-SW-VnV/fret
A framework for the elicitation, specification, formalization and analysis of requirements.
- Owner
- NASA-SW-VnV (organization)
- Stars
- Stars: 502
- Forks
- Forks: 75
- Language
- JavaScript
- License
- None
- Created
- 2019
- Topics
- consistency-checkingformal-verificationrobotic-systemssafety-critical-systemstest-case-generationearly-verification-validationprobabilistic-requirementsaerospaceautonomyrequirements
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by NASA-SW-VnV
All 2 repos by NASA-SW-VnV- NASA-SW-VnV/ikosStars: 3,177C++RC
Nearby in JavaScript
All JavaScript repos- chriscourses/pokemon-style-gameStars: 502JavaScriptAlpha
- EliWimmer/Obsmd-Life-ManagerStars: 502JavaScriptAlpha
- jimmysu0309/shinkansenStars: 502JavaScriptAlpha
- foliojs/png.jsStars: 502JavaScriptAlpha
- monsur/test-cors.orgStars: 502JavaScriptAlpha
- cbrandolino/camvasStars: 502JavaScriptAlpha