NASA-SW-VnV/fret

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

62 best points · 34 comments · 2 Hacker News posts · 503 GitHub stars · View on GitHub

Hacker News discussions

• Formal Requirements Elicitation Tool (62 points, 33 comments, by xo5vik, 2021-12-12)
• Fret: Formal Requirements Elicitation Tool v3.0 (1 points, 1 comments, by AlanClifford, 2023-11-26)