Verification and validation of quantum systems