Transcript Configuration verification: A missing link toward fully verified networks