{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:X7FQ7HFTISECPSFGUFW7FI3RHP","short_pith_number":"pith:X7FQ7HFT","canonical_record":{"source":{"id":"2404.00795","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-31T20:51:26Z","cross_cats_sorted":[],"title_canon_sha256":"5709afdd8516262066083725de1a56a376906825177916a05c0dfbd108688e37","abstract_canon_sha256":"0c78735f118216b8ed41ce8f01bc0e57a20f4303d1dbb7a55477b07b855baccc"},"schema_version":"1.0"},"canonical_sha256":"bfcb0f9cb3448827c8a6a16df2a3713bed764024350e4a9a340bf2488c127aa6","source":{"kind":"arxiv","id":"2404.00795","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.00795","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"arxiv_version","alias_value":"2404.00795v1","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.00795","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_12","alias_value":"X7FQ7HFTISEC","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_16","alias_value":"X7FQ7HFTISECPSFG","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_8","alias_value":"X7FQ7HFT","created_at":"2026-07-05T08:02:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:X7FQ7HFTISECPSFGUFW7FI3RHP","target":"record","payload":{"canonical_record":{"source":{"id":"2404.00795","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-31T20:51:26Z","cross_cats_sorted":[],"title_canon_sha256":"5709afdd8516262066083725de1a56a376906825177916a05c0dfbd108688e37","abstract_canon_sha256":"0c78735f118216b8ed41ce8f01bc0e57a20f4303d1dbb7a55477b07b855baccc"},"schema_version":"1.0"},"canonical_sha256":"bfcb0f9cb3448827c8a6a16df2a3713bed764024350e4a9a340bf2488c127aa6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:02:56.807145Z","signature_b64":"6r04TdPQdgmd0pndrSULRDR+Dqvcroh1UXuFgijg7DjduF4Wko3mqCKugtQHo6lhCm+hFYQRkMJ5FmIf1ySKAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfcb0f9cb3448827c8a6a16df2a3713bed764024350e4a9a340bf2488c127aa6","last_reissued_at":"2026-07-05T08:02:56.806649Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:02:56.806649Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.00795","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:02:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zPbDcoEPT/ZWqAlytAiBPIhDHHEBxbIV1QDzKMArRkz6AdFBFjfzJ/PjurcJFPegLyOkLcoiYgnkRH3yb0m1CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:16:02.268246Z"},"content_sha256":"35ea4938d8a660a12bb3038399a96ecaf3abbf91af71af5493a354291925f7ac","schema_version":"1.0","event_id":"sha256:35ea4938d8a660a12bb3038399a96ecaf3abbf91af71af5493a354291925f7ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:X7FQ7HFTISECPSFGUFW7FI3RHP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bin Yu, Cheng Wen, Cong Tian, Jie Su, Ming Zhao, Xu Lu, Zhi Ma","submitted_at":"2024-03-31T20:51:26Z","abstract_excerpt":"IP-based software design is a crucial research field that aims to improve efficiency and reliability by reusing complex software components known as intellectual property (IP) components. To ensure the reusability of these components, particularly in security-sensitive software systems, it is necessary to analyze the requirements and perform formal verification for each IP component. However, converting the requirements of IP components from natural language descriptions to temporal logic and subsequently conducting formal verification demands domain expertise and non-trivial manpower. This pa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.00795","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2404.00795/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:02:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m794AwyvXzFbFTfJ6LflS0VWirKWS97civupWUyJC2DUDFtQFQA8NHaR4LrSdTMkug4o3ytDRcYRbzPFeE8nCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:16:02.268735Z"},"content_sha256":"c4d25085a60b939881add19f20cd30526e0bc14178dec4cb95f6c3092fc28199","schema_version":"1.0","event_id":"sha256:c4d25085a60b939881add19f20cd30526e0bc14178dec4cb95f6c3092fc28199"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X7FQ7HFTISECPSFGUFW7FI3RHP/bundle.json","state_url":"https://pith.science/pith/X7FQ7HFTISECPSFGUFW7FI3RHP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X7FQ7HFTISECPSFGUFW7FI3RHP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T12:16:02Z","links":{"resolver":"https://pith.science/pith/X7FQ7HFTISECPSFGUFW7FI3RHP","bundle":"https://pith.science/pith/X7FQ7HFTISECPSFGUFW7FI3RHP/bundle.json","state":"https://pith.science/pith/X7FQ7HFTISECPSFGUFW7FI3RHP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X7FQ7HFTISECPSFGUFW7FI3RHP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:X7FQ7HFTISECPSFGUFW7FI3RHP","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0c78735f118216b8ed41ce8f01bc0e57a20f4303d1dbb7a55477b07b855baccc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-31T20:51:26Z","title_canon_sha256":"5709afdd8516262066083725de1a56a376906825177916a05c0dfbd108688e37"},"schema_version":"1.0","source":{"id":"2404.00795","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.00795","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"arxiv_version","alias_value":"2404.00795v1","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.00795","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_12","alias_value":"X7FQ7HFTISEC","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_16","alias_value":"X7FQ7HFTISECPSFG","created_at":"2026-07-05T08:02:56Z"},{"alias_kind":"pith_short_8","alias_value":"X7FQ7HFT","created_at":"2026-07-05T08:02:56Z"}],"graph_snapshots":[{"event_id":"sha256:c4d25085a60b939881add19f20cd30526e0bc14178dec4cb95f6c3092fc28199","target":"graph","created_at":"2026-07-05T08:02:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.00795/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"IP-based software design is a crucial research field that aims to improve efficiency and reliability by reusing complex software components known as intellectual property (IP) components. To ensure the reusability of these components, particularly in security-sensitive software systems, it is necessary to analyze the requirements and perform formal verification for each IP component. However, converting the requirements of IP components from natural language descriptions to temporal logic and subsequently conducting formal verification demands domain expertise and non-trivial manpower. This pa","authors_text":"Bin Yu, Cheng Wen, Cong Tian, Jie Su, Ming Zhao, Xu Lu, Zhi Ma","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-31T20:51:26Z","title":"Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.00795","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:35ea4938d8a660a12bb3038399a96ecaf3abbf91af71af5493a354291925f7ac","target":"record","created_at":"2026-07-05T08:02:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0c78735f118216b8ed41ce8f01bc0e57a20f4303d1dbb7a55477b07b855baccc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-31T20:51:26Z","title_canon_sha256":"5709afdd8516262066083725de1a56a376906825177916a05c0dfbd108688e37"},"schema_version":"1.0","source":{"id":"2404.00795","kind":"arxiv","version":1}},"canonical_sha256":"bfcb0f9cb3448827c8a6a16df2a3713bed764024350e4a9a340bf2488c127aa6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfcb0f9cb3448827c8a6a16df2a3713bed764024350e4a9a340bf2488c127aa6","first_computed_at":"2026-07-05T08:02:56.806649Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:02:56.806649Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6r04TdPQdgmd0pndrSULRDR+Dqvcroh1UXuFgijg7DjduF4Wko3mqCKugtQHo6lhCm+hFYQRkMJ5FmIf1ySKAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:02:56.807145Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.00795","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35ea4938d8a660a12bb3038399a96ecaf3abbf91af71af5493a354291925f7ac","sha256:c4d25085a60b939881add19f20cd30526e0bc14178dec4cb95f6c3092fc28199"],"state_sha256":"a5e7cdb8f767bd4f53aa5938a5cc12a272981bfda92a16cc1c21548cda4fa1ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jpt8p1Gy4WnvFgMF4FCQrC5bpmcMbS/jnVvLdZvkIFmxmHtKrmRCNWHj6UhJN8SJuFF6+5CQpsmD0rBSY//fAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:16:02.273150Z","bundle_sha256":"64ba8a4ccac50504062da5ed6f14c7d0bdc00be23a14e41dc5db5cfa8f9b3207"}}