{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:Y2F46D2GWL6WJUCJJH6RTKLCEK","short_pith_number":"pith:Y2F46D2G","canonical_record":{"source":{"id":"1806.03513","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T17:39:17Z","cross_cats_sorted":[],"title_canon_sha256":"5105284502e75d9cfc2727a2a3c7004cd3135ad6be0c164637e9a635715e2cf7","abstract_canon_sha256":"669a4bc2728197ff2ba10ae6af3e924eda9442b6c0371760771be19eb5dc0566"},"schema_version":"1.0"},"canonical_sha256":"c68bcf0f46b2fd64d04949fd19a962228b247403a8a8329494a8ca8ab103183c","source":{"kind":"arxiv","id":"1806.03513","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.03513","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"1806.03513v1","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03513","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"Y2F46D2GWL6W","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y2F46D2GWL6WJUCJ","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y2F46D2G","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:Y2F46D2GWL6WJUCJJH6RTKLCEK","target":"record","payload":{"canonical_record":{"source":{"id":"1806.03513","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T17:39:17Z","cross_cats_sorted":[],"title_canon_sha256":"5105284502e75d9cfc2727a2a3c7004cd3135ad6be0c164637e9a635715e2cf7","abstract_canon_sha256":"669a4bc2728197ff2ba10ae6af3e924eda9442b6c0371760771be19eb5dc0566"},"schema_version":"1.0"},"canonical_sha256":"c68bcf0f46b2fd64d04949fd19a962228b247403a8a8329494a8ca8ab103183c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:43.147977Z","signature_b64":"XXzCb2CTgHMH0voqI0j+5WGmR3iYFHa99lo8FmgGzeD9Yi82FhZt12NI6sv0uaAio0E2ttKOVus/oQHZ4FgmCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c68bcf0f46b2fd64d04949fd19a962228b247403a8a8329494a8ca8ab103183c","last_reissued_at":"2026-05-18T00:13:43.147278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:43.147278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.03513","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:13:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xECUnxq0sUtKafATl7ckL2aQ55k4Jhg/FUy2Sgy+MtZNkKA9d4Wk/2Cr5GiFrZIU95p3Ngj9U7dPkN+hiFImBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T21:35:52.807710Z"},"content_sha256":"22c8d989e9e4537a0d79b2944d72f8e4ea65ff9e304221cac9d859534122fa4d","schema_version":"1.0","event_id":"sha256:22c8d989e9e4537a0d79b2944d72f8e4ea65ff9e304221cac9d859534122fa4d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:Y2F46D2GWL6WJUCJJH6RTKLCEK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving the Reliability of Mobility Applications","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"N\\'estor Cata\\~no","submitted_at":"2018-06-09T17:39:17Z","abstract_excerpt":"The Android platform was introduced by Google in 2008 as an operating system for mobile devices. Android's SDK provides a wide support for programming and extensive examples and documentation. Reliability is an increasing concern for Smart Phone applications since they often feature personal information and data. Therefore, techniques and tools for checking the correct behavior of apps are required. This paper shows how the Event-B method can be used to reason and to verify the design of Android apps and how this can be used to document implementation decisions. Our approach consists in modeli"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03513","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:13:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"adA1CJHjiemmiSzHdeRwE5LlfFuoAoNfT3qPvTDmxawZ4UH/iyWYefeDFsV06ayEirNy5z+65oF//pXVCqrBBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T21:35:52.808067Z"},"content_sha256":"dfa14d2845dc23e474a4e94acab7a395aad840ef36ab744ffa09a694993888ab","schema_version":"1.0","event_id":"sha256:dfa14d2845dc23e474a4e94acab7a395aad840ef36ab744ffa09a694993888ab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK/bundle.json","state_url":"https://pith.science/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK/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-25T21:35:52Z","links":{"resolver":"https://pith.science/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK","bundle":"https://pith.science/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK/bundle.json","state":"https://pith.science/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y2F46D2GWL6WJUCJJH6RTKLCEK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Y2F46D2GWL6WJUCJJH6RTKLCEK","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":"669a4bc2728197ff2ba10ae6af3e924eda9442b6c0371760771be19eb5dc0566","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T17:39:17Z","title_canon_sha256":"5105284502e75d9cfc2727a2a3c7004cd3135ad6be0c164637e9a635715e2cf7"},"schema_version":"1.0","source":{"id":"1806.03513","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.03513","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"1806.03513v1","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03513","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"Y2F46D2GWL6W","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y2F46D2GWL6WJUCJ","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y2F46D2G","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:dfa14d2845dc23e474a4e94acab7a395aad840ef36ab744ffa09a694993888ab","target":"graph","created_at":"2026-05-18T00:13:43Z","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":"The Android platform was introduced by Google in 2008 as an operating system for mobile devices. Android's SDK provides a wide support for programming and extensive examples and documentation. Reliability is an increasing concern for Smart Phone applications since they often feature personal information and data. Therefore, techniques and tools for checking the correct behavior of apps are required. This paper shows how the Event-B method can be used to reason and to verify the design of Android apps and how this can be used to document implementation decisions. Our approach consists in modeli","authors_text":"N\\'estor Cata\\~no","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T17:39:17Z","title":"Improving the Reliability of Mobility Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03513","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:22c8d989e9e4537a0d79b2944d72f8e4ea65ff9e304221cac9d859534122fa4d","target":"record","created_at":"2026-05-18T00:13:43Z","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":"669a4bc2728197ff2ba10ae6af3e924eda9442b6c0371760771be19eb5dc0566","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T17:39:17Z","title_canon_sha256":"5105284502e75d9cfc2727a2a3c7004cd3135ad6be0c164637e9a635715e2cf7"},"schema_version":"1.0","source":{"id":"1806.03513","kind":"arxiv","version":1}},"canonical_sha256":"c68bcf0f46b2fd64d04949fd19a962228b247403a8a8329494a8ca8ab103183c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c68bcf0f46b2fd64d04949fd19a962228b247403a8a8329494a8ca8ab103183c","first_computed_at":"2026-05-18T00:13:43.147278Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:43.147278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XXzCb2CTgHMH0voqI0j+5WGmR3iYFHa99lo8FmgGzeD9Yi82FhZt12NI6sv0uaAio0E2ttKOVus/oQHZ4FgmCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:43.147977Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.03513","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22c8d989e9e4537a0d79b2944d72f8e4ea65ff9e304221cac9d859534122fa4d","sha256:dfa14d2845dc23e474a4e94acab7a395aad840ef36ab744ffa09a694993888ab"],"state_sha256":"9efb7be0674aa3dcf694d856f005f64ec5ed042629ed3b1abe99dddd5ab1c5b5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WbIkIYWFgt2xH5H9rRHcm64BeJsnc0vhFq382Ab5xalLqYu2JP2nf86f2dibPhSyn+9jeqmmeXhy1KitYM4wDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T21:35:52.810516Z","bundle_sha256":"62d89abe5e248c674728b121c6c3bdf41de50ef05e18abe7455c373fc26ed10b"}}