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