Firmware verification and simulation in IBM zEnterprise 196.
Stefan KoernerConstantin WernerThomas HessPhilip SchulzMarkus StrasserSven WagnerHarald BöhmMartin TroesterDirk BolteHerwig ElferingThomas PohlKlaus TheurichWilliam H. MillerPeter SzwedPublished in: IBM J. Res. Dev. (2012)