{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AOKQKZ2JCZWPR2TF3PEPEFLCUZ","short_pith_number":"pith:AOKQKZ2J","canonical_record":{"source":{"id":"1905.08505","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-21T08:57:10Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"514c58c21d7f504278676cd40d0347fd1965ba795ecf60140bc53a914ed77fd8","abstract_canon_sha256":"545f84a8bcb4cbc9da599440eb69cc64f638ac3690395e85aeede5ac0d859883"},"schema_version":"1.0"},"canonical_sha256":"0395056749166cf8ea65dbc8f21562a668442299af4e35e927456ae994876157","source":{"kind":"arxiv","id":"1905.08505","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.08505","created_at":"2026-05-17T23:45:43Z"},{"alias_kind":"arxiv_version","alias_value":"1905.08505v1","created_at":"2026-05-17T23:45:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.08505","created_at":"2026-05-17T23:45:43Z"},{"alias_kind":"pith_short_12","alias_value":"AOKQKZ2JCZWP","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AOKQKZ2JCZWPR2TF","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AOKQKZ2J","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AOKQKZ2JCZWPR2TF3PEPEFLCUZ","target":"record","payload":{"canonical_record":{"source":{"id":"1905.08505","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-21T08:57:10Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"514c58c21d7f504278676cd40d0347fd1965ba795ecf60140bc53a914ed77fd8","abstract_canon_sha256":"545f84a8bcb4cbc9da599440eb69cc64f638ac3690395e85aeede5ac0d859883"},"schema_version":"1.0"},"canonical_sha256":"0395056749166cf8ea65dbc8f21562a668442299af4e35e927456ae994876157","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:43.017990Z","signature_b64":"hDOysT80DMAn5SnX6NQM3ggknIoW53rkjTfIS8e4Ds6thcajITUTd6iOZEQ7ncQu2wW7P9YKj66THnVRQRSkCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0395056749166cf8ea65dbc8f21562a668442299af4e35e927456ae994876157","last_reissued_at":"2026-05-17T23:45:43.017455Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:43.017455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.08505","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-17T23:45:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7yB8QadKzO8GfkrxOXvrK2Lx8Ntx7c77Bh42eJKpNqKabvkVeFu0RAh4juzEyOu7kTPacrXeiKNEuPK2sY7hDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T04:07:05.060217Z"},"content_sha256":"d6bdc5cb38d00f08f19256ade9b022485eb6c24688bbb028b0646f4a9e0675a4","schema_version":"1.0","event_id":"sha256:d6bdc5cb38d00f08f19256ade9b022485eb6c24688bbb028b0646f4a9e0675a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AOKQKZ2JCZWPR2TF3PEPEFLCUZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Dirk Beyer, Heike Wehrheim","submitted_at":"2019-05-21T08:57:10Z","abstract_excerpt":"The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers provide exchangeable information (verification artifacts) to other verifiers or consume such information from other verifiers with the goal of increasing the overall effectiveness and efficiency of the verification process. This paper first gives an overview over approaches for leveraging strengths of different techniques, algorithms, and tools in order to increase the power and abilities of the state of the art in softw"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.08505","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-17T23:45:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oZ6FuKAJtqo8paHtLfVNwnMLbQMgAUQ0FirECRg0hlgpErIey2wORH24+dVSW/DWIOBPFz+zj3y7Aa3vQyniBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T04:07:05.060874Z"},"content_sha256":"79f70dfd4e2baca061d3a46b371d515afdc0a8ee65060d010be71af6678c5f8c","schema_version":"1.0","event_id":"sha256:79f70dfd4e2baca061d3a46b371d515afdc0a8ee65060d010be71af6678c5f8c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ/bundle.json","state_url":"https://pith.science/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ/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-06T04:07:05Z","links":{"resolver":"https://pith.science/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ","bundle":"https://pith.science/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ/bundle.json","state":"https://pith.science/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AOKQKZ2JCZWPR2TF3PEPEFLCUZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AOKQKZ2JCZWPR2TF3PEPEFLCUZ","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":"545f84a8bcb4cbc9da599440eb69cc64f638ac3690395e85aeede5ac0d859883","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-21T08:57:10Z","title_canon_sha256":"514c58c21d7f504278676cd40d0347fd1965ba795ecf60140bc53a914ed77fd8"},"schema_version":"1.0","source":{"id":"1905.08505","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.08505","created_at":"2026-05-17T23:45:43Z"},{"alias_kind":"arxiv_version","alias_value":"1905.08505v1","created_at":"2026-05-17T23:45:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.08505","created_at":"2026-05-17T23:45:43Z"},{"alias_kind":"pith_short_12","alias_value":"AOKQKZ2JCZWP","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AOKQKZ2JCZWPR2TF","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AOKQKZ2J","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:79f70dfd4e2baca061d3a46b371d515afdc0a8ee65060d010be71af6678c5f8c","target":"graph","created_at":"2026-05-17T23:45: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 goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers provide exchangeable information (verification artifacts) to other verifiers or consume such information from other verifiers with the goal of increasing the overall effectiveness and efficiency of the verification process. This paper first gives an overview over approaches for leveraging strengths of different techniques, algorithms, and tools in order to increase the power and abilities of the state of the art in softw","authors_text":"Dirk Beyer, Heike Wehrheim","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-21T08:57:10Z","title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.08505","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:d6bdc5cb38d00f08f19256ade9b022485eb6c24688bbb028b0646f4a9e0675a4","target":"record","created_at":"2026-05-17T23:45: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":"545f84a8bcb4cbc9da599440eb69cc64f638ac3690395e85aeede5ac0d859883","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-21T08:57:10Z","title_canon_sha256":"514c58c21d7f504278676cd40d0347fd1965ba795ecf60140bc53a914ed77fd8"},"schema_version":"1.0","source":{"id":"1905.08505","kind":"arxiv","version":1}},"canonical_sha256":"0395056749166cf8ea65dbc8f21562a668442299af4e35e927456ae994876157","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0395056749166cf8ea65dbc8f21562a668442299af4e35e927456ae994876157","first_computed_at":"2026-05-17T23:45:43.017455Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:43.017455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hDOysT80DMAn5SnX6NQM3ggknIoW53rkjTfIS8e4Ds6thcajITUTd6iOZEQ7ncQu2wW7P9YKj66THnVRQRSkCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:43.017990Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.08505","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6bdc5cb38d00f08f19256ade9b022485eb6c24688bbb028b0646f4a9e0675a4","sha256:79f70dfd4e2baca061d3a46b371d515afdc0a8ee65060d010be71af6678c5f8c"],"state_sha256":"3e1a51eec6efcc7d582e90e5bece620976f9915fa5025403e837cc516adb15b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K/h9SBU/r/T2cofHEBXd1DOMiHzfyfDu0Vay/+5Gw1ss2O51J5a7DoZn9HOWOSS/ZXTUwjs3JhnIFotkXvkPCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T04:07:05.064238Z","bundle_sha256":"985d7f6c587a2457fdd71b25c2ed339f1b63ba8f4609d5f079b9235477eb73ab"}}