Login / Signup

IBM eServer z900 system microcode verification by simulation: The virtual power-on process.

Stefan KoernerMartin KuenzelEdward C. McCain
Published in: IBM J. Res. Dev. (2002)
Keyphrases
  • virtual environment
  • model checking
  • formal verification
  • machine learning
  • computer vision
  • information systems
  • website
  • virtual world
  • high fidelity
  • virtual laboratory
  • functional verification