Login / Signup
Some complexity results for stateful network verification.
Kalev Alpernas
Aurojit Panda
Alexander Rabinovich
Mooly Sagiv
Scott Shenker
Sharon Shoham
Yaron Velner
Published in:
Formal Methods Syst. Des. (2019)
Keyphrases
</>
network size
computer networks
wireless sensor networks
network structure
space complexity
data sets
computational complexity
complex networks
communication networks
network model
network design
worst case
protocol specification