Login / Signup

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.

Shinya UmenoNancy A. Lynch
Published in: ICECCS (2010)
Keyphrases
  • formal verification
  • model checker
  • description language
  • coloured petri nets
  • artificial intelligence
  • lightweight
  • bounded model checking
  • high level
  • model checking
  • symbolic model checking