Paper Citation Record · LEDGER

CASP: An evaluation dataset for formal verification of C code

As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2508.18798.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2508.18798 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T16:14:55.605115Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact1
verified fuzzy24
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c8751234-e67e-4e03-bd15-96c1cd0ecb53 · outbound

This paper cites original-date: 2019-06-03T12:22:56Z.

CASP: An evaluation dataset for formal verification of C code original-date: 2019-06-03T12:22:56Z

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.496290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 94ced1b9-78b3-414c-b6f2-24770bd3d8c8 · outbound

This paper cites SyGuS-Comp 2018: Results and Analysis.

CASP: An evaluation dataset for formal verification of C code SyGuS-Comp 2018: Results and Analysis

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-05T16:14:55.793621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 194bdbd2-40df-4dfd-b32b-6c308069ec0e · outbound

This paper cites Ansi/iso c specification language version 1.21, 2024.

CASP: An evaluation dataset for formal verification of C code Ansi/iso c specification language version 1.21, 2024

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.473127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 43aeeadd-9160-4b3b-8c41-aaa2cd5ed772 · outbound

This paper cites Progress on Software Verification: SV-COMP 2022.

CASP: An evaluation dataset for formal verification of C code Progress on Software Verification: SV-COMP 2022

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.453561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a6e84eb8-5ee6-4fdb-87b0-3a70b585ff79 · outbound

This paper cites Frama-c and wp tutorial code examples.

CASP: An evaluation dataset for formal verification of C code Frama-c and wp tutorial code examples

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.408179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3ac8d01c-9f5a-4e9f-b8d6-d712a9fbb015 · outbound

This paper cites Formally verifying that a program does what it should: The wp plug-in.

CASP: An evaluation dataset for formal verification of C code Formally verifying that a program does what it should: The wp plug-in

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.377806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 575e209c-0ba4-470a-bfdf-0099df7d623f · outbound

This paper cites Language Models are Few-Shot Learners.

CASP: An evaluation dataset for formal verification of C code Language Models are Few-Shot Learners

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.354787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e4b53961-8c8b-4825-8a83-0765426153d2 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

CASP: An evaluation dataset for formal verification of C code Evaluating Large Language Models Trained on Code

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T16:14:55.418004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3575c97e-e30d-4e97-ae80-ff72d14ec52c · outbound

This paper cites Frama-c user manual for frama-c 30.0 (zinc), 2024.

CASP: An evaluation dataset for formal verification of C code Frama-c user manual for frama-c 30.0 (zinc), 2024

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.314537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 300c5480-a923-47dc-86bc-76ac0c6da4b1 · outbound

This paper cites an unresolved cited work.

CASP: An evaluation dataset for formal verification of C code Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-05T16:14:56.287992Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c9346a0a-5a98-4145-bf27-bc6d4f74eee8 · outbound

This paper cites Inductive Invariant Generation via Abductive Inference.

CASP: An evaluation dataset for formal verification of C code Inductive Invariant Generation via Abductive Inference

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.262124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 998267a0-1910-4a5f-98aa-bfbaff31c2d7 · outbound

This paper cites An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.

CASP: An evaluation dataset for formal verification of C code An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-05T16:14:55.444317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34e7af06-e318-4814-b052-443de946940d · outbound

This paper cites evdenis/acsl-proved, March 2016.

CASP: An evaluation dataset for formal verification of C code evdenis/acsl-proved, March 2016

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.225980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a005bea4-e54b-4b52-bc8b-a6cdcc79ef3d · outbound

This paper cites Deductive verification of unmodified linux kernel library functions.

CASP: An evaluation dataset for formal verification of C code Deductive verification of unmodified linux kernel library functions

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.194583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9c208bbf-8b2f-4721-ab92-31696ee05fc6 · outbound

This paper cites ACSL by Example (Version 22.0.0) for Frama-C 22.0 (Titanium).

CASP: An evaluation dataset for formal verification of C code ACSL by Example (Version 22.0.0) for Frama-C 22.0 (Titanium)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.165634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9814746b-5153-4573-94fe-4d4dbf70752d · outbound

This paper cites Specify what? enhancing neural specifica- tion synthesis by symbolic methods.

CASP: An evaluation dataset for formal verification of C code Specify what? enhancing neural specifica- tion synthesis by symbolic methods

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.122892Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9867390b-6c4d-4dbb-a0c7-c9e9890fecc4 · outbound

This paper cites Verifast: A powerful, sound, predictable, fast verifier for c and java.

CASP: An evaluation dataset for formal verification of C code Verifast: A powerful, sound, predictable, fast verifier for c and java

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.099906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 87c27783-b5db-4731-b659-00bc1de57a9c · outbound

This paper cites Frama-C: A software analysis perspective.Form.

CASP: An evaluation dataset for formal verification of C code Frama-C: A software analysis perspective.Form

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.076661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 608fbc66-6ac8-4938-b2fe-b6ebb76aefcf · outbound

This paper cites The stack: 3 tb of permissively licensed source code, 2022.

CASP: An evaluation dataset for formal verification of C code The stack: 3 tb of permissively licensed source code, 2022

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.052014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 828a5338-9edc-4420-a3be-35d461d2f9fd · outbound

This paper cites Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals.

CASP: An evaluation dataset for formal verification of C code Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.029802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ba36f857-a00b-47e1-a8ca-22dcb266a9ab · outbound

This paper cites CodeXEmbed: A Generalist Embedding Model Family for Multiligual and Multi-task Code Retrieval.

CASP: An evaluation dataset for formal verification of C code CodeXEmbed: A Generalist Embedding Model Family for Multiligual and Multi-task Code Retrieval

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-05T16:14:55.526046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a280585-d006-4ad5-a077-c0211d4148a0 · outbound

This paper cites Starcoder 2 and the stack v2: The next generation, 2024.

CASP: An evaluation dataset for formal verification of C code Starcoder 2 and the stack v2: The next generation, 2024

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.006542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bee26e13-35ae-4e4c-b4da-fa2edf73db5a · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

CASP: An evaluation dataset for formal verification of C code CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-05T16:14:55.546312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ed641d1-6347-41e0-a275-e4845668f660 · outbound

This paper cites Towards specification-driven LLM-Based Gen- eration of embedded automotive software.

CASP: An evaluation dataset for formal verification of C code Towards specification-driven LLM-Based Gen- eration of embedded automotive software

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:55.983552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ecf32a90-6f35-40e4-927d-70d348e56795 · outbound

This paper cites manavpatnaik/frama-c-problems, October 2024.

CASP: An evaluation dataset for formal verification of C code manavpatnaik/frama-c-problems, October 2024

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:55.959979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fdd78640-3305-4e77-b855-c7be3716fc32 · outbound

This paper cites VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models.

CASP: An evaluation dataset for formal verification of C code VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:55.929426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c1205e1e-5a0a-4710-b9dc-129b072253fe · outbound

This paper cites Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.

CASP: An evaluation dataset for formal verification of C code Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:55.902885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bc4b0582-322b-402e-811f-682a0f81c648 · outbound

This paper cites e x p l a n a t i o n.

CASP: An evaluation dataset for formal verification of C code e x p l a n a t i o n

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:55.881447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b152316a-d942-46f2-a8e3-668fb8562713 · outbound

This paper cites an unresolved cited work.

CASP: An evaluation dataset for formal verification of C code Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-05T16:14:55.862694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 470c208d-2dfa-4570-a9f0-994fdaeaabb0 · outbound

This paper cites an unresolved cited work.

CASP: An evaluation dataset for formal verification of C code Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-05T16:14:55.840284Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b4a5cf8d-0838-46e5-b3d2-44323c5fde8a · outbound

This paper cites f u n c t i o n _ i m p l e m e n t a t i o n.

CASP: An evaluation dataset for formal verification of C code f u n c t i o n _ i m p l e m e n t a t i o n

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:55.819995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2f04f0b7-8fdf-4500-8334-98e40257e311 · outbound

This paper cites CASP: An evaluation dataset for formal verification of C code 15.

CASP: An evaluation dataset for formal verification of C code CASP: An evaluation dataset for formal verification of C code 15

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:14:56.144318Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 369dc668-e73e-4c3b-961e-6182a5ea292d · outbound

This paper cites an unresolved cited work.

CASP: An evaluation dataset for formal verification of C code Unresolved cited work

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-05T16:14:55.391728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.