Veriflow: Verifying network-wide invariants in real time

Ahmed Khurshid, 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