Against Software Reliability?

Provides background on software reliability and discusses the challenge of validating high reliability software