An Analysis and Empirical Study of Container Networks
Verification in the Age of Microservices