Login / Signup

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV.

Viktor SchuppanArmin Biere
Published in: Formal Aspects Comput. (2003)
Keyphrases
  • model checking
  • model checker
  • lightweight
  • tree structure
  • mac protocol
  • binary tree
  • physical layer
  • symbolic model checking
  • medium access control
  • temporal logic
  • link layer