The Formal Requirements Elictation Tool (FRET) is a framework for the elicitation, specification, formalization, and analysis of system requirements composed in a structed natural language known as FRETish. FRET is an open-source tool hosted by NASA.
