Advanced firmware verification using a code simulator for the IBM System z9 | IBM Journals & Magazine | IEEE Xplore