An overview of current practice and research initiatives for the verification and