FormalSpecCpp provides a groundbreaking benchmark for evaluating C++ specification tools and improving software reliability.

• First standardized dataset of C++ programs with defined preconditions and postconditions
• Enables rigorous testing of specification inference tools
• Created to address the critical gap in C++ verification benchmarks
• Valuable resource for both researchers and developers working on software verification

This research advances engineering practices by establishing a foundation for more reliable and secure C++ software development through formal verification methods.

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