Paper Citation Record · LEDGER

Structural Abstraction and Selective Refinement for Formal Verification

As of 8 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2505.22982.

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

pith.paper-citation-record.v1
2505.22982 v1

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:01:32.033527Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

19 of 19 outbound references displayed

verified exact1
verified fuzzy14
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3f2f4b63-d80e-44e5-a6d9-acda98a98586 · outbound

This paper cites Approaches to cyber-physical (model) model- checking,.

Structural Abstraction and Selective Refinement for Formal Verification Approaches to cyber-physical (model) model- checking,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:36.151494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 48989754-8004-4cdc-a455-4d16f89a9398 · outbound

This paper cites Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability,.

Structural Abstraction and Selective Refinement for Formal Verification Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:35.890327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0fff23de-40c1-4934-ae55-09197af02735 · outbound

This paper cites an unresolved cited work.

Structural Abstraction and Selective Refinement for Formal Verification Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:01:35.685617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 507c1caa-c989-4b60-ac70-f014cad3c409 · outbound

This paper cites (2023) nuXmv: The nuXmv model checker.

Structural Abstraction and Selective Refinement for Formal Verification (2023) nuXmv: The nuXmv model checker

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:35.391193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ddc1bddc-17df-48c3-bd9e-d1d75fbe4723 · outbound

This paper cites The nuXmv symbolic model checker,.

Structural Abstraction and Selective Refinement for Formal Verification The nuXmv symbolic model checker,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:35.143693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0f1256c7-0d73-4411-a9e4-1830563472c3 · outbound

This paper cites an unresolved cited work.

Structural Abstraction and Selective Refinement for Formal Verification Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:01:34.872476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2e823ec9-d9a7-4188-b7ed-aa47d2f57fc4 · outbound

This paper cites an unresolved cited work.

Structural Abstraction and Selective Refinement for Formal Verification Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:01:34.501381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 40c5239f-c8e9-4047-b8ea-8d9db0e00dbd · outbound

This paper cites Model checking and ab- straction,.

Structural Abstraction and Selective Refinement for Formal Verification Model checking and ab- straction,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:34.345247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a946d944-0461-4f60-8aa3-06c095c9305c · outbound

This paper cites Counterexample- Guided Abstraction Refinement,.

Structural Abstraction and Selective Refinement for Formal Verification Counterexample- Guided Abstraction Refinement,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:34.144663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 00f39543-83e1-42fb-91a1-fc75d92b3269 · outbound

This paper cites Counterexample-guided abstraction refinement for symbolic model checking,.

Structural Abstraction and Selective Refinement for Formal Verification Counterexample-guided abstraction refinement for symbolic model checking,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:33.855973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 96b5bff9-a186-4181-a41d-8578fd558cb0 · outbound

This paper cites Verification of hybrid systems based on counterexample-guided abstrac- tion refinement,.

Structural Abstraction and Selective Refinement for Formal Verification Verification of hybrid systems based on counterexample-guided abstrac- tion refinement,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:33.569571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8c913efa-4515-4929-92c8-d4d2697f4610 · outbound

This paper cites Abstraction and counterexample-guided refinement in model checking of hybrid systems,.

Structural Abstraction and Selective Refinement for Formal Verification Abstraction and counterexample-guided refinement in model checking of hybrid systems,

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T13:01:32.173058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c741c4c0-e4f0-4809-9313-d5e044d6f0e7 · outbound

This paper cites The morgan kaufmann series,.

Structural Abstraction and Selective Refinement for Formal Verification The morgan kaufmann series,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:33.282075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4db63330-a94d-4b0f-8681-5fd005bfb7b5 · outbound

This paper cites GPU-accelerated generation and ren- dering of multi-level voxel representations of solid models,.

Structural Abstraction and Selective Refinement for Formal Verification GPU-accelerated generation and ren- dering of multi-level voxel representations of solid models,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:33.095678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f3248ee5-bf0e-43af-87ca-97199522ef2c · outbound

This paper cites Direct 3D printing of multi-level voxel models,.

Structural Abstraction and Selective Refinement for Formal Verification Direct 3D printing of multi-level voxel models,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:32.959917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2fb1bd6e-7f2c-4637-b53a-9ef4590b5527 · outbound

This paper cites Structural Abstraction of Software Verification Conditions,.

Structural Abstraction and Selective Refinement for Formal Verification Structural Abstraction of Software Verification Conditions,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:32.797187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1a831a44-4eff-40bf-9fe3-cff22c82bc9c · outbound

This paper cites Two methods for exploiting abstraction in systems,.

Structural Abstraction and Selective Refinement for Formal Verification Two methods for exploiting abstraction in systems,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:32.681197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9a07cdcb-60a6-44ac-86f5-6ef8931ecc60 · outbound

This paper cites Unsupervised learning for cuboid shape abstrac- tion via joint segmentation from point clouds,.

Structural Abstraction and Selective Refinement for Formal Verification Unsupervised learning for cuboid shape abstrac- tion via joint segmentation from point clouds,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:01:32.565693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f9ba6947-5f8e-4e06-b4d0-c0bbb4242a85 · outbound

This paper cites Lazy abstraction,.

Structural Abstraction and Selective Refinement for Formal Verification Lazy abstraction,

Reference 19

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:01:32.410569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.