Skip to content
RDL
Network
Ecosystem
Switch app
TR
About
FAQ
Sign in
Get started
Some Complexity Results for Stateful Network Verification — Yaron Velner (2016) | RDL Network
Back
Cite
Save
Save for later
Share
Home
Publications
Some Complexity Results for Stateful Network Verification
Shared by
Scott Shenker
University of California, Berkeley
Some Complexity Results for Stateful Network Verification
Chapter In A Book
2016
en
Authors
+4 more
YV
Yaron Velner
KA
Kalev Alpernas
AP
Aurojit Panda
Discussion
(0)
Sign in
to like and join the discussion.
No comments yet. Be the first to comment.
Related publications
Article
2017
Modular Safety Verification for Stateful Networks.
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Article
2018
Elastic Scaling of Stateful Network Functions.
Shinae Woo
,
Justine Sherry
,
Sangjin Han
,
Sue-Bok Moon
,
Sylvia Ratnasamy
,
Scott Shenker
Article
2002
Fuzzy relations neural network: some preliminary results
Angelo Ciaramella
,
Roberto Tagliaferri
,
Witold Pedrycz
Article
2015
New Directions for Network Verification
Aurojit Panda
,
Katerina Argyraki
,
Mooly Sagiv
,
Michael Schapira
,
Scott Shenker
Article
2017
Abstractions for Verifying Isolation Properties in Stateful Networks
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
.webp){kind=small}
Discussion(0)
No comments yet. Be the first to comment.