A Trustable Software with a Dynamic Loop Control Mechanism | IEEE Conference Publication | IEEE Xplore