• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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