Login / Signup

The BUSpec platform for automated generation of verification aids for standard bus protocols.

Bhaskar PalAnsuman BanerjeePallab DasguptaP. P. Chakrabarti
Published in: MEMOCODE (2004)
Keyphrases
  • fully automated
  • high speed
  • semi automated
  • real time
  • databases
  • social networks
  • data structure
  • model checking
  • temporal logic
  • communication protocol
  • platform independent
  • cryptographic protocols