FormalSpecCPP

FormalSpecCPP Dataset

The FormalSpecCPP dataset contains C++ programs with formal preconditions, postconditions, and assertions, along with their corresponding test cases. It is designed for research and experimentation in formal specification and verification. The dataset includes the source code, tests, and the scripts used to generate them, along with detailed run instructions.

Dataset Contents:

FormalSpecCPP: C++ programs with formal specifications.

FormalSpecCPP-Tests: Test cases for validating the correctness of the programs.

Code: Scripts used to generate the dataset and tests.

Run Instructions: Instructions for setting up and running the dataset and tests.

Usage:

This dataset is useful for testing formal verification tools and methods, benchmarking verification techniques, and experimenting with generating and testing formal specifications for C++ programs.