Yes, she was one of the early formal-methods people. I met her and Saydeen Zeldin back when I was doing proof of correctness work. They had a company called Higher Order Software, which promoted an extreme form of waterfall design using formal methods. This is appropriate for avionics but didn't catch on. Proof of correctness was just too slow back then.
Incidentally, when you post articles like this, please don't use a title that makes it sound like an obituary.
Incidentally, when you post articles like this, please don't use a title that makes it sound like an obituary.