software reliability

software reliability

See also formal methods, safety-critical system.

ftp://ftp.sei.cmu.edu/pub/depend-sw. Mailing list:depend-sw@sei.cmu.edu.