{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XCQFBQFK5L3QEJJRFD5NQDCBG3","short_pith_number":"pith:XCQFBQFK","canonical_record":{"source":{"id":"1708.06889","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-23T05:43:55Z","cross_cats_sorted":[],"title_canon_sha256":"43a89b95a3bc56f42c9e33da2a7a9cfc3abd4e55a06b2109977d20968a588aa5","abstract_canon_sha256":"67fa742b244234a85dd4f958508fde38a42c5fcbec8d43b67de9a864aba3f69f"},"schema_version":"1.0"},"canonical_sha256":"b8a050c0aaeaf702253128fad80c4136e99e8d21579f405d00122eb7df3c2fd6","source":{"kind":"arxiv","id":"1708.06889","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06889","created_at":"2026-05-18T00:36:48Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06889v1","created_at":"2026-05-18T00:36:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06889","created_at":"2026-05-18T00:36:48Z"},{"alias_kind":"pith_short_12","alias_value":"XCQFBQFK5L3Q","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XCQFBQFK5L3QEJJR","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XCQFBQFK","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XCQFBQFK5L3QEJJRFD5NQDCBG3","target":"record","payload":{"canonical_record":{"source":{"id":"1708.06889","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-23T05:43:55Z","cross_cats_sorted":[],"title_canon_sha256":"43a89b95a3bc56f42c9e33da2a7a9cfc3abd4e55a06b2109977d20968a588aa5","abstract_canon_sha256":"67fa742b244234a85dd4f958508fde38a42c5fcbec8d43b67de9a864aba3f69f"},"schema_version":"1.0"},"canonical_sha256":"b8a050c0aaeaf702253128fad80c4136e99e8d21579f405d00122eb7df3c2fd6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:48.936532Z","signature_b64":"W8ePql6f8+5P2z/3l6PPzlS4ssUmpV0ME0EoiVi0F8Y9cIegrARFDdErBoHiaTGBA1V10jvlf6DrtzG5z53RCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8a050c0aaeaf702253128fad80c4136e99e8d21579f405d00122eb7df3c2fd6","last_reissued_at":"2026-05-18T00:36:48.936031Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:48.936031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.06889","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:36:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SFnMlsk3NPuPuFRQMjo7vaLTnTFXTYNy4YD3a4QWGuwFGvISeUb5etsiQ7GriQzswlyfo28F/0Pjxs1M1XcvCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T18:19:28.399651Z"},"content_sha256":"a9b8e1ea4b5ef87cc1feaed0f1fd7946898b487f5844664207006b25b36c920e","schema_version":"1.0","event_id":"sha256:a9b8e1ea4b5ef87cc1feaed0f1fd7946898b487f5844664207006b25b36c920e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XCQFBQFK5L3QEJJRFD5NQDCBG3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adrian Francalanza (University of Malta), Gordon J. Pace (University of Malta)","submitted_at":"2017-08-23T05:43:55Z","abstract_excerpt":"This volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in Torino, Italy, as a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017).\n  PrePost aims to bridge two areas of research and academic communities: on one hand techniques for analysis of systems prior to deployment, on the other techniques for the analysis of systems once they have already been deployed. The workshop brings together researchers working in the field of computer-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06889","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:36:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w90NDRNaX/sLWr08uW8TRtrBuJE6GyXXq+a6mguStiqcCIn2oiWb1GBgHVyrqnt5m+ayIhVMIqpzGjtm7OS7Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T18:19:28.399988Z"},"content_sha256":"56a0943c5ce14bfd642ea2a188d72d799e17c5a34e825c25c523fd77a5c61c96","schema_version":"1.0","event_id":"sha256:56a0943c5ce14bfd642ea2a188d72d799e17c5a34e825c25c523fd77a5c61c96"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3/bundle.json","state_url":"https://pith.science/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3/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-29T18:19:28Z","links":{"resolver":"https://pith.science/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3","bundle":"https://pith.science/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3/bundle.json","state":"https://pith.science/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XCQFBQFK5L3QEJJRFD5NQDCBG3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XCQFBQFK5L3QEJJRFD5NQDCBG3","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":"67fa742b244234a85dd4f958508fde38a42c5fcbec8d43b67de9a864aba3f69f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-23T05:43:55Z","title_canon_sha256":"43a89b95a3bc56f42c9e33da2a7a9cfc3abd4e55a06b2109977d20968a588aa5"},"schema_version":"1.0","source":{"id":"1708.06889","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06889","created_at":"2026-05-18T00:36:48Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06889v1","created_at":"2026-05-18T00:36:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06889","created_at":"2026-05-18T00:36:48Z"},{"alias_kind":"pith_short_12","alias_value":"XCQFBQFK5L3Q","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XCQFBQFK5L3QEJJR","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XCQFBQFK","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:56a0943c5ce14bfd642ea2a188d72d799e17c5a34e825c25c523fd77a5c61c96","target":"graph","created_at":"2026-05-18T00:36:48Z","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 volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in Torino, Italy, as a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017).\n  PrePost aims to bridge two areas of research and academic communities: on one hand techniques for analysis of systems prior to deployment, on the other techniques for the analysis of systems once they have already been deployed. The workshop brings together researchers working in the field of computer-","authors_text":"Adrian Francalanza (University of Malta), Gordon J. Pace (University of Malta)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-23T05:43:55Z","title":"Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06889","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:a9b8e1ea4b5ef87cc1feaed0f1fd7946898b487f5844664207006b25b36c920e","target":"record","created_at":"2026-05-18T00:36:48Z","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":"67fa742b244234a85dd4f958508fde38a42c5fcbec8d43b67de9a864aba3f69f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-23T05:43:55Z","title_canon_sha256":"43a89b95a3bc56f42c9e33da2a7a9cfc3abd4e55a06b2109977d20968a588aa5"},"schema_version":"1.0","source":{"id":"1708.06889","kind":"arxiv","version":1}},"canonical_sha256":"b8a050c0aaeaf702253128fad80c4136e99e8d21579f405d00122eb7df3c2fd6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8a050c0aaeaf702253128fad80c4136e99e8d21579f405d00122eb7df3c2fd6","first_computed_at":"2026-05-18T00:36:48.936031Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:48.936031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W8ePql6f8+5P2z/3l6PPzlS4ssUmpV0ME0EoiVi0F8Y9cIegrARFDdErBoHiaTGBA1V10jvlf6DrtzG5z53RCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:48.936532Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.06889","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9b8e1ea4b5ef87cc1feaed0f1fd7946898b487f5844664207006b25b36c920e","sha256:56a0943c5ce14bfd642ea2a188d72d799e17c5a34e825c25c523fd77a5c61c96"],"state_sha256":"2d07ebba60982c79ea01366a07b20483fdf7c314cba87ec7b679fedc9a8b06f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RTjTMPjqnjrIdTJGEQ4kalqtZdk8RwTvWLQZ+vOulX/hoC/gLtiYSF6hwertANLAwkctr+gDwHfnvA36YfnsDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T18:19:28.401880Z","bundle_sha256":"60d4a0ac89d8b2716763073e3381fca046c34940dd7b013197dc5a5e684f8eaa"}}