Paper Citation Record · LEDGER

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art

As of 16 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:1908.06271.

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

pith.paper-citation-record.v1
1908.06271 v2

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:00:54.279680Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

37 of 37 outbound references displayed

verified exact11
verified fuzzy6
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4e73adf5-18b8-43d6-bec3-0c917e55b696 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.095148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7dec183-c590-4369-964e-2d8256ddbbfb · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.101128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96e1b503-f330-4467-923a-4522a2c3f3f9 · outbound

This paper cites IEEE Intelligent Systems 29(1), 20–29 (2014).

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art IEEE Intelligent Systems 29(1), 20–29 (2014)

Reference 3

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.619564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9d26f76e-4d57-4206-ad86-450280fba503 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 4

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.602576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d4132180-8a45-47e4-83c3-85b9b5571065 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 5

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.587478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1a33738c-71fa-414e-b868-3f2001189c9e · outbound

This paper cites an unresolved cited work.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.122886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb0ff4a3-b5d1-460e-a9ce-931d77f697e5 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.128586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 146fbe57-5e99-4c8e-9a7c-abb238932101 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.135023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d77ee5ba-a002-4194-a5da-04b1dce1eae3 · outbound

This paper cites an unresolved cited work.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.140571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 493759e5-ae75-41ab-8450-7e9da4bd3996 · outbound

This paper cites Zenodo (2019).

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Zenodo (2019)

Reference 10

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.541241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 40767430-3d85-4fa7-8026-040922ac369a · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.150683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc598bc2-d57c-47f4-a819-9290ad960f3e · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.156338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c55134ba-4572-4e9c-ba7b-30c458362fcb · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.161494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52e80084-2dae-4481-bbdb-8ac2d376966f · outbound

This paper cites Formal Asp.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Formal Asp

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.166665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 953dcdfb-45bc-47aa-a001-2ed31f9412a3 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.171341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71e6ea44-f06c-4d27-987d-6565db6032b3 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:00:55.103608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 075424e8-583d-4c22-ade0-85617d360180 · outbound

This paper cites FMSD 49(3), 190–218 (2016).

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art FMSD 49(3), 190–218 (2016)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.186071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cd4c69e-57fe-4c58-b2cd-be322e5e3abc · outbound

This paper cites an unresolved cited work.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.191217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 828e30e3-4a92-46d8-8fd4-2e434c0d64f1 · outbound

This paper cites A new form of the Herbrand-G entzen theorem.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art A new form of the Herbrand-G entzen theorem

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.196709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0ddc04f-16b0-456b-8c57-9bf2a3bc73af · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 20

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.434687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ac90620a-bf00-4d8c-a1e6-0223fa9ca841 · outbound

This paper cites In: Pro c.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Pro c

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:00:55.086540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7b45c712-e0fd-4adb-9adc-7a19d57fd99f · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 22

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.418206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e02f3508-883c-468d-9f38-a4cbe20a47f6 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.215520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30439fc8-c088-4200-8254-a6bdf6faad4f · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 24

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.391541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1d2d9ace-eb22-4a9b-bc9b-65a2dab2094d · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.224888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf220be5-2312-4658-932c-690232e45fbc · outbound

This paper cites ACM Co mputing Surveys 41(4) (2009).

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art ACM Co mputing Surveys 41(4) (2009)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.229934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc84ba0a-5347-4818-8652-c0be6f24ee14 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.234945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77468519-11dc-4b4d-bfad-e5f12f0d9cd0 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:00:55.065251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b98ca3ee-7ed3-4a3a-a875-d12b2be9cc95 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 29

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.348373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0f5133b5-1dd3-4d36-8851-fc663f052f8c · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 30

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.330772Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3b5d726e-16ad-4d9f-b4d9-5943f41e66e6 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:00:55.048294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 35983fbf-486a-4747-b7d6-e8abb1538bd9 · outbound

This paper cites In: Proc.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art In: Proc

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-14T13:00:54.264555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a5d6dea-9f4c-4d3b-8882-69c131f0d643 · outbound

This paper cites Wiley Publish- ing, 3rd edn.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Wiley Publish- ing, 3rd edn

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:00:55.031497Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3190bde7-32ab-46bb-8376-86d86ee8f378 · outbound

This paper cites an unresolved cited work.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:00:55.014655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 67b1213b-9b26-4e3c-b61e-eb72de734af0 · outbound

This paper cites PhD Thesis, University of Pas- sau, Software Systems Lab (2017).

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art PhD Thesis, University of Pas- sau, Software Systems Lab (2017)

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:00:54.997263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bff40262-a2d7-42d6-85b1-98ef37a58e78 · outbound

This paper cites https://doi.org/10.4204/EPTCS.72.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art https://doi.org/10.4204/EPTCS.72

Reference 62

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.365347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 91fc19ae-b509-407a-ab4c-55bef0b88c06 · outbound

This paper cites https://doi.org/10.1007/978-3-642-31424-7_23.

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art https://doi.org/10.1007/978-3-642-31424-7_23

Reference 293

Resolution: verified exact; doi, observed 2026-08-14T13:00:54.472518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.