Had a look at the article you linked to, thanks for sharing. I've done some work (in projects, not academia) on trying to create low-defect software - by infor

Had a look at the article you linked to, thanks for sharing. I've done some work (in projects, not academia) on trying to create low-defect software - by informal methods, not formal verification, so the paper was interesting.