VeriFlow: Verifying network-wide invariants in real time

Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, P. Brighten Godfrey

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'VeriFlow: Verifying network-wide invariants in real time'. Together they form a unique fingerprint.

Engineering & Materials Science