{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:4URNUG3S5O4J32YEY7QTBGT5OZ","short_pith_number":"pith:4URNUG3S","canonical_record":{"source":{"id":"1210.7032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:03:59Z","cross_cats_sorted":[],"title_canon_sha256":"3291f0f80873478bc74eee565d627af5483d107ce43d8b2d8e028372ce6677c8","abstract_canon_sha256":"d1f9aef18c376a20155120fc1f691dd35f3e98d66c5321af85fbe11cb9240062"},"schema_version":"1.0"},"canonical_sha256":"e522da1b72ebb89deb04c7e1309a7d7674c962420af12d53965c3a45014834a1","source":{"kind":"arxiv","id":"1210.7032","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.7032","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"arxiv_version","alias_value":"1210.7032v1","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.7032","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"pith_short_12","alias_value":"4URNUG3S5O4J","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4URNUG3S5O4J32YE","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4URNUG3S","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:4URNUG3S5O4J32YEY7QTBGT5OZ","target":"record","payload":{"canonical_record":{"source":{"id":"1210.7032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:03:59Z","cross_cats_sorted":[],"title_canon_sha256":"3291f0f80873478bc74eee565d627af5483d107ce43d8b2d8e028372ce6677c8","abstract_canon_sha256":"d1f9aef18c376a20155120fc1f691dd35f3e98d66c5321af85fbe11cb9240062"},"schema_version":"1.0"},"canonical_sha256":"e522da1b72ebb89deb04c7e1309a7d7674c962420af12d53965c3a45014834a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:21.960013Z","signature_b64":"zQ6xcI7Ck2M84X1th8XZZg4bdBcZnpM/fnZJrprUbGqTuraTAw7xPO0uorma9YZSJuE7RpbqD3ZsOFbqD7W7DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e522da1b72ebb89deb04c7e1309a7d7674c962420af12d53965c3a45014834a1","last_reissued_at":"2026-05-18T03:42:21.959268Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:21.959268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.7032","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-18T03:42:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o88UM/9aex/CE5aQxgM+c8yjkM5dFh2kfys/OTd1R31+r7VMWMSYlc2fhs/I7+F+J8tynpQY7NovfLXQYHNYAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T07:29:21.682466Z"},"content_sha256":"4f1a21b8dfd56ac36e4251cd8c61e680da40fef5091147a9a90a3ba5440d5740","schema_version":"1.0","event_id":"sha256:4f1a21b8dfd56ac36e4251cd8c61e680da40fef5091147a9a90a3ba5440d5740"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:4URNUG3S5O4J32YEY7QTBGT5OZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Elena Troubitsyna","submitted_at":"2012-10-26T01:03:59Z","abstract_excerpt":"Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches to explicitly reason about dependability in the refinement process. In this paper we overview the work on formal engineering of dependable systems carried out in the Deploy project. We outline our approaches to integrating safety analysis into the development process, modelling fault tolerant systems and probabilistic dependability evaluation. We discuss achievements and challenges in development of dependable syste"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.7032","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-18T03:42:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"POh7CnvO0h3F/ylDyfZi5uNYor735GXp2Bhk+9WvzpwMwGfHJXs9cFIufUCrG3PmAx73SDL3ENxnGCc0RvkBDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T07:29:21.682802Z"},"content_sha256":"842575fc0c20cfb2531d4676da0c7ad373f8cba81446a55bb58e2f13ed9f2d75","schema_version":"1.0","event_id":"sha256:842575fc0c20cfb2531d4676da0c7ad373f8cba81446a55bb58e2f13ed9f2d75"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4URNUG3S5O4J32YEY7QTBGT5OZ/bundle.json","state_url":"https://pith.science/pith/4URNUG3S5O4J32YEY7QTBGT5OZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4URNUG3S5O4J32YEY7QTBGT5OZ/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-20T07:29:21Z","links":{"resolver":"https://pith.science/pith/4URNUG3S5O4J32YEY7QTBGT5OZ","bundle":"https://pith.science/pith/4URNUG3S5O4J32YEY7QTBGT5OZ/bundle.json","state":"https://pith.science/pith/4URNUG3S5O4J32YEY7QTBGT5OZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4URNUG3S5O4J32YEY7QTBGT5OZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:4URNUG3S5O4J32YEY7QTBGT5OZ","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":"d1f9aef18c376a20155120fc1f691dd35f3e98d66c5321af85fbe11cb9240062","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:03:59Z","title_canon_sha256":"3291f0f80873478bc74eee565d627af5483d107ce43d8b2d8e028372ce6677c8"},"schema_version":"1.0","source":{"id":"1210.7032","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.7032","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"arxiv_version","alias_value":"1210.7032v1","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.7032","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"pith_short_12","alias_value":"4URNUG3S5O4J","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4URNUG3S5O4J32YE","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4URNUG3S","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:842575fc0c20cfb2531d4676da0c7ad373f8cba81446a55bb58e2f13ed9f2d75","target":"graph","created_at":"2026-05-18T03:42:21Z","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":"Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches to explicitly reason about dependability in the refinement process. In this paper we overview the work on formal engineering of dependable systems carried out in the Deploy project. We outline our approaches to integrating safety analysis into the development process, modelling fault tolerant systems and probabilistic dependability evaluation. We discuss achievements and challenges in development of dependable syste","authors_text":"Elena Troubitsyna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:03:59Z","title":"Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.7032","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:4f1a21b8dfd56ac36e4251cd8c61e680da40fef5091147a9a90a3ba5440d5740","target":"record","created_at":"2026-05-18T03:42:21Z","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":"d1f9aef18c376a20155120fc1f691dd35f3e98d66c5321af85fbe11cb9240062","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:03:59Z","title_canon_sha256":"3291f0f80873478bc74eee565d627af5483d107ce43d8b2d8e028372ce6677c8"},"schema_version":"1.0","source":{"id":"1210.7032","kind":"arxiv","version":1}},"canonical_sha256":"e522da1b72ebb89deb04c7e1309a7d7674c962420af12d53965c3a45014834a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e522da1b72ebb89deb04c7e1309a7d7674c962420af12d53965c3a45014834a1","first_computed_at":"2026-05-18T03:42:21.959268Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:21.959268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zQ6xcI7Ck2M84X1th8XZZg4bdBcZnpM/fnZJrprUbGqTuraTAw7xPO0uorma9YZSJuE7RpbqD3ZsOFbqD7W7DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:21.960013Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.7032","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f1a21b8dfd56ac36e4251cd8c61e680da40fef5091147a9a90a3ba5440d5740","sha256:842575fc0c20cfb2531d4676da0c7ad373f8cba81446a55bb58e2f13ed9f2d75"],"state_sha256":"ba953b2424d2cf03f22ea79bdd746c7a810c8ec91c9d87bf0de95a6934577dcf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jjwybteZ2M7hUaO4C7I14IkaD5lJjGLBxf1G7yJWrEJPsdExA/BoHyMysUgBL8BTzMmFISXpWDtmnnOT44mpBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T07:29:21.684579Z","bundle_sha256":"267c0715ea5462d7a076032566ee59fbcab65f6ac48bc183af5627ee37fc34d3"}}