Source : Free On-Line Dictionary of Computing

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