# NASA-SW-VnV/fret

<https://repo.masters-masters.com/en/repos/NASA-SW-VnV/fret>

[Home](https://repo.masters-masters.com/en) › [NASA-SW-VnV](https://repo.masters-masters.com/en/owners/NASA-SW-VnV) › [fret](https://repo.masters-masters.com/en/repos/NASA-SW-VnV/fret)

NASA-SW-VnV/fret has 502 stars on GitHub. Its RepoMasters card: Alpha tier. A framework for the elicitation, specification, formalization and analysis of…

| Field | Value |
| --- | --- |
| Owner | [NASA-SW-VnV](https://repo.masters-masters.com/en/owners/NASA-SW-VnV) |
| Stars | 502 |
| Forks | 75 |
| Language | [JavaScript](https://repo.masters-masters.com/en/languages/javascript) |
| License | None |
| Created | 2019 |
| Topics | consistency-checking, formal-verification, robotic-systems, safety-critical-systems, test-case-generation, early-verification-validation, probabilistic-requirements, aerospace, autonomy, requirements |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [NASA-SW-VnV/fret](https://github.com/NASA-SW-VnV/fret) |

## Repository

A framework for the elicitation, specification, formalization and analysis of requirements.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by NASA-SW-VnV

- [NASA-SW-VnV/ikos · ★ 3,177 · C++ · RC](https://repo.masters-masters.com/en/repos/NASA-SW-VnV/ikos)

## Nearby in JavaScript

- [chriscourses/pokemon-style-game · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/chriscourses/pokemon-style-game)
- [EliWimmer/Obsmd-Life-Manager · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/EliWimmer/Obsmd-Life-Manager)
- [lizhipay/mcy-shop · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/lizhipay/mcy-shop)
- [foliojs/png.js · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/foliojs/png.js)
- [monsur/test-cors.org · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/monsur/test-cors.org)
- [cbrandolino/camvas · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/cbrandolino/camvas)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.