Integrity report for Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code

A machine-verified record of the checks Pith has run against this paper: detector runs, findings, signed bundle events, and canonical identifiers.

arXiv:2605.21532 · pith:2026:CIHSYREYA42HDU23UST4B663LA

1Critical

0Advisory

5Detectors run

2026-05-24Last checked

Paper page arXiv integrity.json bundle.json

Detector runs

doi_title_agreement completed v1.0.0 · findings 0 · 2026-05-24 01:32:23.540062+00:00

doi_compliance completed v1.0.0 · findings 1 · 2026-05-24 01:24:21.554825+00:00

claim_evidence completed v1.0.0 · findings 0 · 2026-05-24 00:03:15.427346+00:00

ai_meta_artifact skipped v1.0.0 · findings 0 · 2026-05-22 00:33:41.622557+00:00

cited_work_retraction completed v1.0.0 · findings 0 · 2026-05-22 00:22:26.309098+00:00

Findings

No public integrity findings for this paper.

Signed record

The machine-readable record for this paper lives at /pith/CIHSYREY/integrity.json. Pith Number bundles also include signed pith.integrity.v1 events where a Pith Number exists.