vault backup: 2025-07-21 22:19:25

Notes on Papers/Formal requirements elicitation with FRET.md

@@ -3,12 +3,19 @@
 This is a weird one. This paper is essentially just a 'state-of-the-FRET' paper
 
 **Context:** 
-FRET comes from NASA and is 
+FRET comes from NASA and is a tool to line up requirements in a temporal
+language.
 
 **Correctness:** 
+Formal. But they don't really go into details.
+
 **Contributions:** 
+Really I don't think they contribute much here than an explanation of what's
+going on.
+
 **Clarity:** 
 
+
 # Second Pass
 **What is the main thrust?**