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.
original-date: 2019-06-03T12:22:56Z
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.