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

Connor Wojtak, Darek Gajewski, Tomas Cerny

Microservice systems are becoming increasingly adopted due to their scalability, decentralized development, and support for continuous integration and delivery (CI/CD). However, th…