Ali Kheradmand
2 papers
· 2017–2020
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(4)
🌉
Interdisciplinary Bridge
Conferences
NSDI (2)
Top co-authors
Keywords
network verification
(2)
model checking
(1)
software defined networking
(1)
data plane
(1)
network configuration
(1)
forwarding behavior
(1)
reachability invariant
(1)
real-time checking
(1)
real-time verification
(1)
symbolic partitioning
(1)
policy verification
(1)
packet forwarding
(1)
equivalence partitioning
(1)
explicit-state exploration
(1)
partial order reduction
(1)
sdn network
(1)
formal verification
(1)
quasi-linear algorithm
(1)