CASP is the largest openly released dataset of 506 Frama-C-verified C code and ACSL specification pairs, designed for benchmarking LLMs on formal verification.
Formally verifying that a program does what it should: The wp plug-in
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
CASP: An evaluation dataset for formal verification of C code
CASP is the largest openly released dataset of 506 Frama-C-verified C code and ACSL specification pairs, designed for benchmarking LLMs on formal verification.