On constructing a tool to verify programs for processors built in machines | IEEE Conference Publication | IEEE Xplore