Advanced firmware verification using a code simulator for the IBM System z9.
Klaus TheurichAlexander AlbusFelix EickhoffDaniela ImmelAndreas KohlerEberhard LangeJoachim von ButtlarPublished in: IBM J. Res. Dev. (2007)
Keyphrases
- operating system
- ibm zenterprise
- error detection
- input output
- power consumption
- computer systems
- source code
- model checking
- ibm power processor
- open source
- byte code
- concurrent systems
- resource manager
- verification method
- face verification
- data center
- instruction set
- simulation environment
- simulation model
- error handling
- test bed
- end to end