Map
Index
Random
Help
th

Quote: if a large program is to be correct then the probability that a module is correct must be indistinguishable from 1

topics > all references > references c-d > QuoteRef: dijkEW_1976a , p. 207



Topic:
programming without errors

Quotation Skeleton

if N [number of modules] is large (and we had … [probability of module correct] should be indistinguishable from 1 if P [probability of program correct p^N] is to …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: programming without errors (28 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.