@misc{indiciae77b448a710f1,
  title = {Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems},
  author = {Connor Wojtak and Darek Gajewski and Tomas Cerny},
  year = {2025},
  doi = {10.1109/models67397.2025.00033},
  url = {https://arxiv.org/abs/2509.02860},
  note = {Source identifier: 2509.02860}
}