Login / Signup

Modeling and Formal Verification of a Passive Optical Network on Chip Behavior.

Luiza Gheorghe IuganGabriela NicolescuIan O'Connor
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
  • formal verification
  • model checking
  • network on chip
  • model checker
  • automated verification
  • routing algorithm
  • symbolic model checking
  • bounded model checking
  • high speed