{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ZUC2NY7FFR5JVZT6JC2KH7AH7E","short_pith_number":"pith:ZUC2NY7F","canonical_record":{"source":{"id":"1605.08096","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-25T22:42:38Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"fa50199577ae2bf76ea178f4179e129fcfb1ab6e66ba44a4282c35ea1bc8ccd3","abstract_canon_sha256":"d4f020cbc30cddeb11075e84decd9cde5d0732dea6fbb22105115995366fe35e"},"schema_version":"1.0"},"canonical_sha256":"cd05a6e3e52c7a9ae67e48b4a3fc07f90b2680701e97217478ec233f2979381a","source":{"kind":"arxiv","id":"1605.08096","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.08096","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1605.08096v1","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.08096","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"ZUC2NY7FFR5J","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"ZUC2NY7FFR5JVZT6","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"ZUC2NY7F","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ZUC2NY7FFR5JVZT6JC2KH7AH7E","target":"record","payload":{"canonical_record":{"source":{"id":"1605.08096","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-25T22:42:38Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"fa50199577ae2bf76ea178f4179e129fcfb1ab6e66ba44a4282c35ea1bc8ccd3","abstract_canon_sha256":"d4f020cbc30cddeb11075e84decd9cde5d0732dea6fbb22105115995366fe35e"},"schema_version":"1.0"},"canonical_sha256":"cd05a6e3e52c7a9ae67e48b4a3fc07f90b2680701e97217478ec233f2979381a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:37.128435Z","signature_b64":"emVlUHJPQHIt0CD0OdYpwk/t4TtDKSJRO2Q/lO/KplrZfyv5gX1p9GSiSiOZv/xv8GTWQZ7gci5HlxurlMm1Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd05a6e3e52c7a9ae67e48b4a3fc07f90b2680701e97217478ec233f2979381a","last_reissued_at":"2026-05-18T01:13:37.127761Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:37.127761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.08096","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-18T01:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NknMcE2HiDuvmcFt7nmZdpDpMmvzP7D9dMzxCPytvlxcdDpZuRIPE7jF+GZA6uywX3Kiz3/umqpjurhQ/I16Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T09:22:17.375025Z"},"content_sha256":"c01dc0159f75ec4fdbdd9a802e067086df58cd9804a1c1f5ec616fd8e7babf81","schema_version":"1.0","event_id":"sha256:c01dc0159f75ec4fdbdd9a802e067086df58cd9804a1c1f5ec616fd8e7babf81"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ZUC2NY7FFR5JVZT6JC2KH7AH7E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Adrian Francalanza (Computer Science, Anna Ingolfsdottir (ICE-TCS, Faculty of Information & Communications Technology, Luca Aceto (ICE-TCS, Reykjavik University), School of Computer Science, University of Malta)","submitted_at":"2016-05-25T22:42:38Z","abstract_excerpt":"The PrePost (Pre- and Post-Deployment Verification Techniques) workshop aimed at bringing together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic model checking and testing on the one hand and runtime verification and statistical model checking on the other, and between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.08096","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-18T01:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QHc0zIfq2t/oNkHc0/7kDLHq6DhFD8Ilzd5FR3QOghB9YvO8EJXZafvjPWaynTkYz9IeHwLnd78VQRErBJP6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T09:22:17.375388Z"},"content_sha256":"92575aef6b5125fdb393627cbda6344546af3f00976ef12ad6f5a109c13fb4c8","schema_version":"1.0","event_id":"sha256:92575aef6b5125fdb393627cbda6344546af3f00976ef12ad6f5a109c13fb4c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E/bundle.json","state_url":"https://pith.science/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E/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-03T09:22:17Z","links":{"resolver":"https://pith.science/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E","bundle":"https://pith.science/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E/bundle.json","state":"https://pith.science/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZUC2NY7FFR5JVZT6JC2KH7AH7E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ZUC2NY7FFR5JVZT6JC2KH7AH7E","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":"d4f020cbc30cddeb11075e84decd9cde5d0732dea6fbb22105115995366fe35e","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-25T22:42:38Z","title_canon_sha256":"fa50199577ae2bf76ea178f4179e129fcfb1ab6e66ba44a4282c35ea1bc8ccd3"},"schema_version":"1.0","source":{"id":"1605.08096","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.08096","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1605.08096v1","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.08096","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"ZUC2NY7FFR5J","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"ZUC2NY7FFR5JVZT6","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"ZUC2NY7F","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:92575aef6b5125fdb393627cbda6344546af3f00976ef12ad6f5a109c13fb4c8","target":"graph","created_at":"2026-05-18T01:13:37Z","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 PrePost (Pre- and Post-Deployment Verification Techniques) workshop aimed at bringing together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic model checking and testing on the one hand and runtime verification and statistical model checking on the other, and between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring.","authors_text":"Adrian Francalanza (Computer Science, Anna Ingolfsdottir (ICE-TCS, Faculty of Information & Communications Technology, Luca Aceto (ICE-TCS, Reykjavik University), School of Computer Science, University of Malta)","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-25T22:42:38Z","title":"Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.08096","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:c01dc0159f75ec4fdbdd9a802e067086df58cd9804a1c1f5ec616fd8e7babf81","target":"record","created_at":"2026-05-18T01:13:37Z","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":"d4f020cbc30cddeb11075e84decd9cde5d0732dea6fbb22105115995366fe35e","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-25T22:42:38Z","title_canon_sha256":"fa50199577ae2bf76ea178f4179e129fcfb1ab6e66ba44a4282c35ea1bc8ccd3"},"schema_version":"1.0","source":{"id":"1605.08096","kind":"arxiv","version":1}},"canonical_sha256":"cd05a6e3e52c7a9ae67e48b4a3fc07f90b2680701e97217478ec233f2979381a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd05a6e3e52c7a9ae67e48b4a3fc07f90b2680701e97217478ec233f2979381a","first_computed_at":"2026-05-18T01:13:37.127761Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:37.127761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"emVlUHJPQHIt0CD0OdYpwk/t4TtDKSJRO2Q/lO/KplrZfyv5gX1p9GSiSiOZv/xv8GTWQZ7gci5HlxurlMm1Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:37.128435Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.08096","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c01dc0159f75ec4fdbdd9a802e067086df58cd9804a1c1f5ec616fd8e7babf81","sha256:92575aef6b5125fdb393627cbda6344546af3f00976ef12ad6f5a109c13fb4c8"],"state_sha256":"79d177973b44039efb6445a2090fc109ad8022aac80814c44a3824d2325a56e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zIDROUYbqif2C1PUB5HZ9mwmcatJIX2NVyN4qrtaS8YY5mqXKYGIPyDNwi18JkaMJc2ET7Ea+Mlnp2b9A8RLCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T09:22:17.377374Z","bundle_sha256":"d372ef392e965c48e7f5fc952a36e3b875c1ce39cdaeba7c44c3caa948f7ee65"}}