{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:XBQFQXNN3S5MRAHMMNZ3O2J32X","short_pith_number":"pith:XBQFQXNN","canonical_record":{"source":{"id":"1011.1551","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-11-06T10:27:01Z","cross_cats_sorted":[],"title_canon_sha256":"eea9ee22540153c9026d2d93bb568d9c5a56eccc342e5d57d612116f0b9cd106","abstract_canon_sha256":"59d177522d652d2833e0e45d62dc8cd8a51420ec39789d82629a80019163802f"},"schema_version":"1.0"},"canonical_sha256":"b860585daddcbac880ec6373b7693bd5e09359d292dd4bf1e670954cdaeee63b","source":{"kind":"arxiv","id":"1011.1551","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.1551","created_at":"2026-05-18T04:36:50Z"},{"alias_kind":"arxiv_version","alias_value":"1011.1551v1","created_at":"2026-05-18T04:36:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.1551","created_at":"2026-05-18T04:36:50Z"},{"alias_kind":"pith_short_12","alias_value":"XBQFQXNN3S5M","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"XBQFQXNN3S5MRAHM","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"XBQFQXNN","created_at":"2026-05-18T12:26:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:XBQFQXNN3S5MRAHMMNZ3O2J32X","target":"record","payload":{"canonical_record":{"source":{"id":"1011.1551","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-11-06T10:27:01Z","cross_cats_sorted":[],"title_canon_sha256":"eea9ee22540153c9026d2d93bb568d9c5a56eccc342e5d57d612116f0b9cd106","abstract_canon_sha256":"59d177522d652d2833e0e45d62dc8cd8a51420ec39789d82629a80019163802f"},"schema_version":"1.0"},"canonical_sha256":"b860585daddcbac880ec6373b7693bd5e09359d292dd4bf1e670954cdaeee63b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:36:50.931687Z","signature_b64":"ge9XnV0pUcdhfI4kxfp/+d3PfTyB13iL1Wy6fo/r+cIO9gvHTwBwvXfic6FH+mKSFo55U/mxdE3KEd4V26DzBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b860585daddcbac880ec6373b7693bd5e09359d292dd4bf1e670954cdaeee63b","last_reissued_at":"2026-05-18T04:36:50.931293Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:36:50.931293Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.1551","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-18T04:36:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sLYeSIX/2L1rk3r/tK3Ed4YVNf0GA6viPNZTOsjymMNyAl/XxlzpwAGb/k7KcqZKeEe7F6y71XS/oPwYig+dBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:13:11.860536Z"},"content_sha256":"8be3ca4a5b16868e95016d92443d2ee84a70b43b9c63c5313260e4123debfbbb","schema_version":"1.0","event_id":"sha256:8be3ca4a5b16868e95016d92443d2ee84a70b43b9c63c5313260e4123debfbbb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:XBQFQXNN3S5MRAHMMNZ3O2J32X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Introduction to Software Engineering and Fault Tolerance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Romanovsky, Henry Muccini, Nicolas Guelfi, Patrizio Pelliccione","submitted_at":"2010-11-06T10:27:01Z","abstract_excerpt":"This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault tolerance during the different phases of the software development, software engineering techniques for verification and validation of fault tolerance means, and languages for supporting fault tolerance specification and implementation. Accordingly, the book is structured into the following three parts: Part A: Fault tolerance engineering: from requirements to code; Part B: Verification and validation of fault tolera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.1551","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-18T04:36:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0V0HYgI5h72yMF28bgHVtw7RVi/n3dNFreSz8bh5UcDcfZ+aB3fNqScfFinedA1ujRj9aXWoD7MBRAnt+WczCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:13:11.860883Z"},"content_sha256":"4e927833be28e86b98407371d49d998be24eef73619d3253c67a00a0d28c9d2e","schema_version":"1.0","event_id":"sha256:4e927833be28e86b98407371d49d998be24eef73619d3253c67a00a0d28c9d2e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X/bundle.json","state_url":"https://pith.science/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X/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-23T23:13:11Z","links":{"resolver":"https://pith.science/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X","bundle":"https://pith.science/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X/bundle.json","state":"https://pith.science/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XBQFQXNN3S5MRAHMMNZ3O2J32X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:XBQFQXNN3S5MRAHMMNZ3O2J32X","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":"59d177522d652d2833e0e45d62dc8cd8a51420ec39789d82629a80019163802f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-11-06T10:27:01Z","title_canon_sha256":"eea9ee22540153c9026d2d93bb568d9c5a56eccc342e5d57d612116f0b9cd106"},"schema_version":"1.0","source":{"id":"1011.1551","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.1551","created_at":"2026-05-18T04:36:50Z"},{"alias_kind":"arxiv_version","alias_value":"1011.1551v1","created_at":"2026-05-18T04:36:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.1551","created_at":"2026-05-18T04:36:50Z"},{"alias_kind":"pith_short_12","alias_value":"XBQFQXNN3S5M","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_16","alias_value":"XBQFQXNN3S5MRAHM","created_at":"2026-05-18T12:26:17Z"},{"alias_kind":"pith_short_8","alias_value":"XBQFQXNN","created_at":"2026-05-18T12:26:17Z"}],"graph_snapshots":[{"event_id":"sha256:4e927833be28e86b98407371d49d998be24eef73619d3253c67a00a0d28c9d2e","target":"graph","created_at":"2026-05-18T04:36:50Z","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":"This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault tolerance during the different phases of the software development, software engineering techniques for verification and validation of fault tolerance means, and languages for supporting fault tolerance specification and implementation. Accordingly, the book is structured into the following three parts: Part A: Fault tolerance engineering: from requirements to code; Part B: Verification and validation of fault tolera","authors_text":"Alexander Romanovsky, Henry Muccini, Nicolas Guelfi, Patrizio Pelliccione","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-11-06T10:27:01Z","title":"An Introduction to Software Engineering and Fault Tolerance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.1551","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:8be3ca4a5b16868e95016d92443d2ee84a70b43b9c63c5313260e4123debfbbb","target":"record","created_at":"2026-05-18T04:36:50Z","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":"59d177522d652d2833e0e45d62dc8cd8a51420ec39789d82629a80019163802f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-11-06T10:27:01Z","title_canon_sha256":"eea9ee22540153c9026d2d93bb568d9c5a56eccc342e5d57d612116f0b9cd106"},"schema_version":"1.0","source":{"id":"1011.1551","kind":"arxiv","version":1}},"canonical_sha256":"b860585daddcbac880ec6373b7693bd5e09359d292dd4bf1e670954cdaeee63b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b860585daddcbac880ec6373b7693bd5e09359d292dd4bf1e670954cdaeee63b","first_computed_at":"2026-05-18T04:36:50.931293Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:36:50.931293Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ge9XnV0pUcdhfI4kxfp/+d3PfTyB13iL1Wy6fo/r+cIO9gvHTwBwvXfic6FH+mKSFo55U/mxdE3KEd4V26DzBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:36:50.931687Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.1551","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8be3ca4a5b16868e95016d92443d2ee84a70b43b9c63c5313260e4123debfbbb","sha256:4e927833be28e86b98407371d49d998be24eef73619d3253c67a00a0d28c9d2e"],"state_sha256":"7b9131c91d23934097c4dba9c0525a7cf411282703eb59083223cf821c98a125"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YCfXZqsjXUwrhMx1SUkTarjhEYiSGCINt6UCQdaOk9JtNAwiPoFnxniwl+c6n6rz3RxqJS/PJYmzRjMEZw47Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T23:13:11.862833Z","bundle_sha256":"b9da990abacc26fea6688fe568d43d47ccc4fdbed3392669512238c446be0180"}}