This podcast looks at both validation and verification methods, along with their uses and problems.