Towards Automated Formal Verification of Backend Systems with LLMs

Kangping Xu, Yifan Luo, Yang Yuan +1

Software testing plays a critical role in ensuring that systems behave as intended. However, existing automated testing approaches struggle to match the capabilities of human engin…