Verification in the Age of Microservices.

Aurojit Panda, Mooly Sagiv, Scott Shenker

Browse the full HotOS paper archive.