Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:19:20.841667Z
Paper Citation Record · LEDGER
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
As of 16 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:1908.01324.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
11 of 11 outbound references displayed
- verified exact0
- verified fuzzy5
- unresolved6
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5143455f-6c17-4437-9f47-d0d92c934b33 · outbound
This paper cites an unresolved cited work.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:19:21.034027Z
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 701e9e61-073c-4110-a78a-0e541efffcfb · outbound
This paper cites an unresolved cited work.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:19:21.017782Z
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 1fc112b9-f77c-45cc-b46d-01974d9f59bc · outbound
This paper cites Mukherjee, S.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Mukherjee, S
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:19:21.002028Z
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 38bb7c46-6f7d-42d8-b8b0-15d4ce11c7ef · outbound
This paper cites Clarke, D.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Clarke, D
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:19:20.986094Z
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 fd47a2fc-5aad-4e26-8279-5ebf0feedbdb · outbound
This paper cites an unresolved cited work.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T15:19:20.811419Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 66130601-2fae-4731-915f-aea85bf8c8b0 · outbound
This paper cites Hauser, ``Berkeley SoftFloat ,'' (Accessed 22 Jan.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Hauser, ``Berkeley SoftFloat ,'' (Accessed 22 Jan
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:19:20.969414Z
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 ca343d98-480d-4ce9-b80f-843426a45318 · outbound
This paper cites an unresolved cited work.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:19:20.952418Z
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 da107a23-81f7-4110-9fa2-4331bf87591c · outbound
This paper cites O'Leary, R.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications O'Leary, R
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:19:20.936631Z
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 291a5ff9-ba08-4194-98a2-b6094d3362fb · outbound
This paper cites an unresolved cited work.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:19:20.921249Z
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 f70b7271-f0a6-47c5-a5e1-f04046f8c30c · outbound
This paper cites an unresolved cited work.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:19:20.905599Z
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 045cc979-d964-4225-98ae-b58847c7e30f · outbound
This paper cites Dawson, ``Sequential floating point adder,'' (Accessed 22 Jan.
CREST: Hardware Formal Verification with ANSI-C Reference Specifications Dawson, ``Sequential floating point adder,'' (Accessed 22 Jan
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:19:20.890093Z
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.