Ali Kheradmand
2 papers · 2017–2020 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Silver
Venues
Top co-authors
Research topics
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)