This document was assembled at the request of a client with specific requirements on software verification (does it meet the specs) and validation (does it behave properly, even under certain error conditions).