Supporting Software Formal Verification with Large Language Models: An Experimental Study

Weiqi Wang, Marie Farrell, Lucas C. Cordeiro +1

Formal methods have been employed for requirements verification for a long time. However, it is difficult to automatically derive properties from natural language requirements. Spe…