Fret: Formal Requirements Elicitation Tool v3.0

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.