Login / Signup

A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy.

Natali RuchanskyDavide Proserpio
Published in: SIGCOMM (2013)
Keyphrases
  • high speed
  • formal methods
  • formal specification
  • specification languages
  • vehicular networks
  • neural network
  • knowledge base
  • wireless networks
  • reactive systems
  • modelling language
  • traffic flows