Zero defect software using Z?
<font size="2" face="Verdana, Arial, Helvetica">http://developers.slashdot.org/artic...id=126&tid=156
The idea was that a software system could be defined in 'Z', and then that system could be mathematically proven to be 100% correct (in other words, zero defects).
Re: Zero defect software using Z?
At best, you could only prove that the 'Z' definitions mapped correctly to the resulting 'system'.
(Is there a notation (perhaps Zed-Prime?) that could be used to define all of your 'Z' systems in order to mathematically prove that your Z definitions are 100% correct?)
I believe this has all been beaten to death in the literature. There are no silver bullets to zero defects.