Scalable runtime verification of distributed middleboxes with Aaragog (OSDI 2020) - View it on GitHub