{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:YBYL5KBESPXCMGUHUK3GNDPJZ4","short_pith_number":"pith:YBYL5KBE","schema_version":"1.0","canonical_sha256":"c070bea82493ee261a87a2b6668de9cf0e3399c25d603ebc2429ab1e588d328f","source":{"kind":"arxiv","id":"1612.03109","version":1},"attestation_state":"computed","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)"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1612.03109","created_at":"2026-05-18T00:55:26.468707+00:00"},{"alias_kind":"arxiv_version","alias_value":"1612.03109v1","created_at":"2026-05-18T00:55:26.468707+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03109","created_at":"2026-05-18T00:55:26.468707+00:00"},{"alias_kind":"pith_short_12","alias_value":"YBYL5KBESPXC","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_16","alias_value":"YBYL5KBESPXCMGUH","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_8","alias_value":"YBYL5KBE","created_at":"2026-05-18T12:30:53.716459+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4","json":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4.json","graph_json":"https://pith.science/api/pith-number/YBYL5KBESPXCMGUHUK3GNDPJZ4/graph.json","events_json":"https://pith.science/api/pith-number/YBYL5KBESPXCMGUHUK3GNDPJZ4/events.json","paper":"https://pith.science/paper/YBYL5KBE"},"agent_actions":{"view_html":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4","download_json":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4.json","view_paper":"https://pith.science/paper/YBYL5KBE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1612.03109&json=true","fetch_graph":"https://pith.science/api/pith-number/YBYL5KBESPXCMGUHUK3GNDPJZ4/graph.json","fetch_events":"https://pith.science/api/pith-number/YBYL5KBESPXCMGUHUK3GNDPJZ4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/action/storage_attestation","attest_author":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/action/author_attestation","sign_citation":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/action/citation_signature","submit_replication":"https://pith.science/pith/YBYL5KBESPXCMGUHUK3GNDPJZ4/action/replication_record"}},"created_at":"2026-05-18T00:55:26.468707+00:00","updated_at":"2026-05-18T00:55:26.468707+00:00"}