Comment on Guy thinks he can build software that never fails and can't be hackedComments−idiocrat4yLong-long time ago, at a Munich University, I remember Prof Schwichtenberg, who worked on software extraction from from mathematical proofs (in Scheme).The idea is to prove that the software works.−yababa_y4yunfortunately that is not what the dawn methodology is about, and this o’dowd guy seems full of it, and way into hierarchy.
Comments
Long-long time ago, at a Munich University, I remember Prof Schwichtenberg, who worked on software extraction from from mathematical proofs (in Scheme).
The idea is to prove that the software works.
unfortunately that is not what the dawn methodology is about, and this o’dowd guy seems full of it, and way into hierarchy.