Paper Citation Record · LEDGER

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy

As of 4 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2604.15266.

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

pith.paper-citation-record.v1
2604.15266 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T09:32:28.132071Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+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

31 of 31 outbound references displayed

verified exact17
verified fuzzy8
unresolved3
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 27b4574a-5e86-42f6-ac21-f5bff77c9414 · outbound

This paper cites InProceedings of the 3rd Annual Symposium on Logic in Computer Science(proceedings of the 3rd annual symposium on logic in computer science ed.).

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InProceedings of the 3rd Annual Symposium on Logic in Computer Science(proceedings of the 3rd annual symposium on logic in computer science ed.)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.265425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 67f0b24f-e535-48e7-ad83-9a4a11779907 · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:33:40.693710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation cea2e764-efea-42f3-b8d6-5989fdc5620f · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:33:40.689977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 290658b6-05dd-4860-bd93-9570f3b5dbba · outbound

This paper cites InStatic Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings (Lecture Notes in Computer Science, Vol.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InStatic Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings (Lecture Notes in Computer Science, Vol

Reference 4

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.710125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 6ef53f45-018a-4b49-ae37-4fdc2d9cbe35 · outbound

This paper cites doi:10.1007/BF00571463 Patrick Cousot.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy doi:10.1007/BF00571463 Patrick Cousot

Reference 5

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.680617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0e8d1bfd-6097-45a0-b0e3-c7fb4b983a0b · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:33:40.684927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9fc2079c-1827-4fb9-931e-86a7f8d17be1 · outbound

This paper cites Software Model Checking via Summary-Guided Search (Extended Version).

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Software Model Checking via Summary-Guided Search (Extended Version)

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:33:40.705812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 74acfe5c-18a0-454f-bf8a-327ad7e92bc1 · outbound

This paper cites InInternational Conference on Computer Aided Verification.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InInternational Conference on Computer Aided Verification

Reference 8

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.700738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a5b028f7-9eae-4bad-808b-90a8e234921c · outbound

This paper cites In18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021, April 12-14, 2021, James Mickens and Renata Teixeira (Eds.).

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy In18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021, April 12-14, 2021, James Mickens and Renata Teixeira (Eds.)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.261515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 44abe67a-2dba-4b0c-82e6-27abe112b0dc · outbound

This paper cites InComputer Aided Verification, 10th International Conference, CA V ’98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings (Lecture Notes in Computer Science, Vol.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InComputer Aided Verification, 10th International Conference, CA V ’98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings (Lecture Notes in Computer Science, Vol

Reference 10

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.697680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 6ad57f3d-8a4e-4862-b44d-c327728c0952 · outbound

This paper cites InInformation Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, R.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InInformation Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, R

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.263426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation dfe82b1e-d2d0-48ea-a355-59ef10380825 · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:03:42.267208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2d675547-1cfb-4723-8e99-e48e9e552771 · outbound

This paper cites Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T09:33:40.729790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 75c59d8b-b671-431f-b632-fca65fcd6ca7 · outbound

This paper cites The part-time parliament.ACM Transactions on Computer Systems, 16 (2):133–169.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy The part-time parliament.ACM Transactions on Computer Systems, 16 (2):133–169

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-10T09:33:40.748477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c1e474de-1ced-4bfa-b949-ee47067ab09f · outbound

This paper cites Leslie Lamport and Stephan Merz.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Leslie Lamport and Stephan Merz

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.269009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4f72328f-c1da-4c96-b5bd-7a493e860858 · outbound

This paper cites Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, and Clark W.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, and Clark W

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.270802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1fe44c7c-d2ec-40fd-b36c-d35e0492265d · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.717279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4076385f-64a2-44bc-ba03-5d773064f25b · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.743838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 55e8ead7-80db-461d-a445-be63b54dfe07 · outbound

This paper cites InComputer Aided Verification, 18th International Conference, CA V 2006, Seattle, W A, USA, August 17-20, 2006, Proceedings.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InComputer Aided Verification, 18th International Conference, CA V 2006, Seattle, W A, USA, August 17-20, 2006, Proceedings

Reference 19

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.733386Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8ad5970b-0d1d-4bfb-8b07-9e8e2f864228 · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.719835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8dc272c7-2ae0-467e-8d0f-fdba433de995 · outbound

This paper cites InProceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference(Philadelphia, PA)(USENIX ATC’14).

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy InProceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference(Philadelphia, PA)(USENIX ATC’14)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.272617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 243290f0-b2f5-494f-8298-a20940a03125 · outbound

This paper cites Acta Informatica 6, 319–340 (1976), https://doi.org/10.1007/BF00268134 22.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Acta Informatica 6, 319–340 (1976), https://doi.org/10.1007/BF00268134 22

Reference 22

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.724341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 135aaad3-70fe-4fe5-963b-d689d8b2e2e7 · outbound

This paper cites ACM Program.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy ACM Program

Reference 23

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.736382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5ebc5152-780c-449e-97ed-9442844a678f · outbound

This paper cites Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition

Reference 24

Resolution: metadata mismatch; local_arxiv, observed 2026-05-10T09:33:40.740651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation bdd5677f-0f0f-447a-9f0c-93b0edb78d79 · outbound

This paper cites In2022 Formal Methods in Computer-Aided Design (FMCAD).

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy In2022 Formal Methods in Computer-Aided Design (FMCAD)

Reference 25

Resolution: malformed identifier; doi_truncated, observed 2026-05-10T09:33:40.751061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 307e1148-1b6f-4734-8165-0d942d6a6ca2 · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.722133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ac0c6434-ddf4-48da-9797-824d4ef3e31a · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:03:42.257620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a79a5b7f-a280-4aab-8eff-800936a3caa9 · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-05-10T09:33:40.714335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 07c93abb-d34a-402c-b5f2-e213435f3df8 · outbound

This paper cites In16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022, Marcos K.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy In16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022, Marcos K

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.259504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 827eb97a-be33-4976-bd5a-3a9a16bb2fc6 · outbound

This paper cites In18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024, Santa Clara, CA, USA, July 10-12, 2024, Ada Gavrilovska and Douglas B.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy In18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024, Santa Clara, CA, USA, July 10-12, 2024, Ada Gavrilovska and Douglas B

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:03:42.253814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0376736f-89ab-43d6-a2bb-45bb2c209fc0 · outbound

This paper cites an unresolved cited work.

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:03:42.255868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

No inbound Pith citation observations are available.