Adventures in FRET and Specification

Marie Farrell, Matt Luckcuck, Rosemary Monahan +2

This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies wh…