Hacker News new | past | comments | ask | show | jobs | submit login
Fret: Formal Requirements Elicitation Tool v3.0 (github.com/nasa-sw-vnv)
1 point by AlanClifford 7 months ago | hide | past | favorite | 1 comment



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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: