Hacker News new | ask | show | jobs
Fret: Formal Requirements Elicitation Tool v3.0 (github.com)
1 points by AlanClifford 932 days ago
1 comments

FRET was developed by the NASA Ames Research Center to specify safety-critical applications whose failure could result in loss of life, significant property damage, or environmental harm. However, since it is open-source software, FRET is available to anyone who wants to create precise, unambiguous requirements for their applications. Version 3 was released on Aug 30.