software reliability dependability dependable software See also {formal methods}, {safety-critical system}. (ftp://ftp.sei.cmu.edu/pub/depend-sw). Mailing list: [email protected]. [Summary?]