Skip to content
RDL
Network
Ecosystem
Switch app
TR
About
FAQ
Sign in
Get started
Modular Safety Verification for Stateful Networks. — Kalev Alpernas (2017) | RDL Network
Back
Cite
Save
Save for later
Share
Home
Publications
Modular Safety Verification for Stateful Networks.
Shared by
Scott Shenker
University of California, Berkeley
Modular Safety Verification for Stateful Networks.
Article
2017
en
Authors
+4 more
KA
Kalev Alpernas
RM
Roman Manevich
AP
Aurojit Panda
Discussion
(0)
Sign in
to like and join the discussion.
No comments yet. Be the first to comment.
Related publications
Chapter in a book
2016
Some Complexity Results for Stateful Network Verification
Yaron Velner
,
Kalev Alpernas
,
Aurojit Panda
,
Alexander Rabinovich
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
Chapter in a book
2018
Abstract Interpretation of Stateful Networks
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Preprint
2017
Abstract Interpretation of Stateful Networks
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Article
2017
Abstractions for Verifying Isolation Properties in Stateful Networks
Kalev Alpernas
,
Roman Manevich
,
Aurojit Panda
,
Mooly Sagiv
,
Scott Shenker
,
Sharon Shoham
,
Yaron Velner
Article
2019
Safety Verification for Autonomous Ships
Børge Rokseth
,
Odd Ivar Haugen
,
Ingrid B. Utne
MATEC Web of Conferences
.webp){kind=small}
Discussion(0)
No comments yet. Be the first to comment.