conftrace_

stateful network function

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

elastic scaling (1) distributed shared state (1) state migration (1) network function virtualization (1) boolean formula (1) liveness properties (1) network verification (1) formal verification (1)

Papers

Liveness Verification of Stateful Network Functions NSDI 2020 Elastic Scaling of Stateful Network Functions NSDI 2018