FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs

Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi

FormalSpecCpp is a dataset designed to fill the gap in standardized benchmarks for verifying formal specifications in C++ programs. To the best of our knowledge, this is the first…