Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems.

Connor Wojtak, Darek Gajewski, Toms Cern

Browse the full MODELS paper archive.