Warning: include_once(/home/tabrez/www/talk/mtrefsearch.php) [function.include-once]: failed to open stream: No such file or directory in /home/tabrezsyed/mandalivia.com/talk/archives/000265.php on line 118
Warning: include_once() [function.include]: Failed opening '/home/tabrez/www/talk/mtrefsearch.php' for inclusion (include_path='.:/usr/local/lib/php:/usr/local/php5/lib/pear') in /home/tabrezsyed/mandalivia.com/talk/archives/000265.php on line 118
October 03, 2002
Program Correctness
Dijkstra's hypothesis:
Assume a program has N parts
The probability of getting it right is c. Then the probability of getting it wrong is 1- c
The probability of the whole program working is c^N. Which unless c is close to 1 heads closer to 0 when N grows large. So when building a large program unless the pieces are perfect the probability of the whole thing working is low.
Posted at October 3, 2002 03:16 PMComments
Post a comment