research
∙
02/11/2022
Why just FRET when you can Refactor? Retuning FRETISH Requirements
Formal verification of a software system relies on formalising the requi...
share
research
∙
01/12/2022
Towards Refactoring FRETish Requirements
Like software, requirements evolve and change frequently during the deve...
research
∙
12/08/2021
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
[Context motivation] Eliciting requirements that are detailed and lo...
research
∙
10/18/2021