HEDD versus SQA verification