Fret: Formal Requirements Elicitation Tool v3.0(github.com)
github.com
Fret: Formal Requirements Elicitation Tool v3.0
https://github.com/NASA-SW-VnV/fret
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.