Login / Signup

FaVe: Modeling IPv6 firewalls for fast formal verification.

Claas LorenzSebastian KiekhebenBettina Schnor
Published in: NetSys (2017)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • automated verification
  • rough sets
  • network security
  • modeling language
  • symbolic model checking