{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:YBYL5KBESPXCMGUHUK3GNDPJZ4","short_pith_number":"pith:YBYL5KBE","canonical_record":{"source":{"id":"1612.03109","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:59:02Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"54c057f24f44234f0f969122f9f3819120f01b3158e6287a05204db17be2ec61","abstract_canon_sha256":"bb255120eae5f7e5ace1730cc2e8688edd27d2872d7f0a619c71720a927cc35a"},"schema_version":"1.0"},"canonical_sha256":"c070bea82493ee261a87a2b6668de9cf0e3399c25d603ebc2429ab1e588d328f","source":{"kind":"arxiv","id":"1612.03109","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03109","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03109v1","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03109","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"YBYL5KBESPXC","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YBYL5KBESPXCMGUH","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YBYL5KBE","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:YBYL5KBESPXCMGUHUK3GNDPJZ4","target":"record","payload":{"canonical_record":{"source":{"id":"1612.03109","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:59:02Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"54c057f24f44234f0f969122f9f3819120f01b3158e6287a05204db17be2ec61","abstract_canon_sha256":"bb255120eae5f7e5ace1730cc2e8688edd27d2872d7f0a619c71720a927cc35a"},"schema_version":"1.0"},"canonical_sha256":"c070bea82493ee261a87a2b6668de9cf0e3399c25d603ebc2429ab1e588d328f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:26.469305Z","signature_b64":"lg3sXGjjVl3ck7NyppJPSfv5z3WOXVolTeV8As14ykzYLzpIZydwvQnIeY8kzBPprfe2Gif5+fcdyYrcVEH0Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c070bea82493ee261a87a2b6668de9cf0e3399c25d603ebc2429ab1e588d328f","last_reissued_at":"2026-05-18T00:55:26.468587Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:26.468587Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.03109","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-05-18T00:55:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jmauh0UMbRhaKJUlLMThze0SsDdYpZbf42/fITF5cWcpyEL4puTpgrG4ugQFMCexWpdHLM37kUK1wF/Vaq0IAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:13:33.205852Z"},"content_sha256":"adceee8a1256b70e44b21075a481571950dbb5f257ae06f9587f0451142590d0","schema_version":"1.0","event_id":"sha256:adceee8a1256b70e44b21075a481571950dbb5f257ae06f9587f0451142590d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:YBYL5KBESPXCMGUHUK3GNDPJZ4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A comprehensive safety engineering approach for software-intensive systems based on STPA","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.SE","authors_text":"Asim Abdulkhaleq, Nancy Leveson, Stefan Wagner","submitted_at":"2016-12-09T17:59:02Z","abstract_excerpt":"Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against its safety requirements which are identified by safety analysis, to ensure that potential hazardous causes cannot occur. The complexity of software makes defining appropriate software safety requirements with traditional safety analysis techniques difficult. STPA (Systems-Theoretic Processes Analysis)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03109","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":""},"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-05-18T00:55:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NPD5RJvtrZ1DU0BgubrHm8DyaBL2vlwXpuYbjU5YHW4IdsyXum/GW8BsU8T5lfTWFGcI+WqLSgavgj2xch5oDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:13:33.206210Z"},"content_sha256":"848107344651c356c51c8923d06026d4617354a57db4e4d0ac09f499505e0180","schema_version":"1.0","event_id":"sha256:848107344651c356c51c8923d06026d4617354a57db4e4d0ac09f499505e0180"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/bundle.json","state_url":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/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-06-02T13:13:33Z","links":{"resolver":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4","bundle":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/bundle.json","state":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YBYL5KBESPXCMGUHUK3GNDPJZ4","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":"bb255120eae5f7e5ace1730cc2e8688edd27d2872d7f0a619c71720a927cc35a","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:59:02Z","title_canon_sha256":"54c057f24f44234f0f969122f9f3819120f01b3158e6287a05204db17be2ec61"},"schema_version":"1.0","source":{"id":"1612.03109","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03109","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03109v1","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03109","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"YBYL5KBESPXC","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YBYL5KBESPXCMGUH","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YBYL5KBE","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:848107344651c356c51c8923d06026d4617354a57db4e4d0ac09f499505e0180","target":"graph","created_at":"2026-05-18T00:55:26Z","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"},"paper":{"abstract_excerpt":"Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against its safety requirements which are identified by safety analysis, to ensure that potential hazardous causes cannot occur. The complexity of software makes defining appropriate software safety requirements with traditional safety analysis techniques difficult. STPA (Systems-Theoretic Processes Analysis)","authors_text":"Asim Abdulkhaleq, Nancy Leveson, Stefan Wagner","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:59:02Z","title":"A comprehensive safety engineering approach for software-intensive systems based on STPA"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03109","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:adceee8a1256b70e44b21075a481571950dbb5f257ae06f9587f0451142590d0","target":"record","created_at":"2026-05-18T00:55:26Z","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":"bb255120eae5f7e5ace1730cc2e8688edd27d2872d7f0a619c71720a927cc35a","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:59:02Z","title_canon_sha256":"54c057f24f44234f0f969122f9f3819120f01b3158e6287a05204db17be2ec61"},"schema_version":"1.0","source":{"id":"1612.03109","kind":"arxiv","version":1}},"canonical_sha256":"c070bea82493ee261a87a2b6668de9cf0e3399c25d603ebc2429ab1e588d328f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c070bea82493ee261a87a2b6668de9cf0e3399c25d603ebc2429ab1e588d328f","first_computed_at":"2026-05-18T00:55:26.468587Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:26.468587Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lg3sXGjjVl3ck7NyppJPSfv5z3WOXVolTeV8As14ykzYLzpIZydwvQnIeY8kzBPprfe2Gif5+fcdyYrcVEH0Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:26.469305Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.03109","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:adceee8a1256b70e44b21075a481571950dbb5f257ae06f9587f0451142590d0","sha256:848107344651c356c51c8923d06026d4617354a57db4e4d0ac09f499505e0180"],"state_sha256":"09bdc580dea89b3af4b31207167a6a4a145ded551e89ff91edae37186721aa94"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iscy05DopJF+I+TPMSZduMcJ+vVS8zTGDplfLC6Cd7Ex4dm5KFAF7oyPUhetGJt86yole6+gFYMfNGdmhQ7HAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:13:33.208265Z","bundle_sha256":"27154338aaa45166f21b057d077cbe2755dc3de4a512c5d56ec398154bdf4e5e"}}