https://github.com/nasa-sw-vnv/fret
A framework for the elicitation, specification, formalization and analysis of requirements.
https://github.com/nasa-sw-vnv/fret
aerospace autonomy consistency-checking early-verification-validation formal-verification probabilistic-requirements requirements robotic-systems safety-critical-systems test-case-generation
Last synced: 4 months ago
JSON representation
A framework for the elicitation, specification, formalization and analysis of requirements.
- Host: GitHub
- URL: https://github.com/nasa-sw-vnv/fret
- Owner: NASA-SW-VnV
- License: other
- Created: 2019-11-26T04:56:57.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2025-06-10T19:43:49.000Z (4 months ago)
- Last Synced: 2025-06-10T20:37:31.975Z (4 months ago)
- Topics: aerospace, autonomy, consistency-checking, early-verification-validation, formal-verification, probabilistic-requirements, requirements, robotic-systems, safety-critical-systems, test-case-generation
- Language: JavaScript
- Homepage:
- Size: 136 MB
- Stars: 357
- Watchers: 22
- Forks: 57
- Open Issues: 28
-
Metadata Files:
- Readme: README.md
- License: LICENSE.pdf