{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:C4GISLUN7F3S5PTVIY2P2RN736","short_pith_number":"pith:C4GISLUN","canonical_record":{"source":{"id":"1712.01207","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-04T17:17:43Z","cross_cats_sorted":[],"title_canon_sha256":"6c68f4a18fc9fc1a821d069e178220330c75d39c4821dab1e8530215d3b16f73","abstract_canon_sha256":"347945ff323e7bd352db840d6f501722dcbbbce26ceb2591754ba82b9fab6063"},"schema_version":"1.0"},"canonical_sha256":"170c892e8df9772ebe754634fd45bfdf97af94e3c076b9d13037ec124529c496","source":{"kind":"arxiv","id":"1712.01207","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01207","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01207v1","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01207","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"pith_short_12","alias_value":"C4GISLUN7F3S","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"C4GISLUN7F3S5PTV","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"C4GISLUN","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:C4GISLUN7F3S5PTVIY2P2RN736","target":"record","payload":{"canonical_record":{"source":{"id":"1712.01207","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-04T17:17:43Z","cross_cats_sorted":[],"title_canon_sha256":"6c68f4a18fc9fc1a821d069e178220330c75d39c4821dab1e8530215d3b16f73","abstract_canon_sha256":"347945ff323e7bd352db840d6f501722dcbbbce26ceb2591754ba82b9fab6063"},"schema_version":"1.0"},"canonical_sha256":"170c892e8df9772ebe754634fd45bfdf97af94e3c076b9d13037ec124529c496","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:11.929679Z","signature_b64":"GNU6EOWX5PFJpzrOqoV2tb6yP8kiWL0K5aoeG+FLi16kizOOvosW48W7WERtwN8b81IT4EQYfaNDl5C23OJeAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"170c892e8df9772ebe754634fd45bfdf97af94e3c076b9d13037ec124529c496","last_reissued_at":"2026-05-17T23:48:11.929019Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:11.929019Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.01207","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:48:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CZ1wnDi+8ijbVcX/E+O1sZJn4jLiU5W2MRIOmHFOmfDhvLubLvFwINRvNLhZDwPlo4tScUuWdmlO8HCL0vtTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T20:56:07.820844Z"},"content_sha256":"75377618fbe30de6fbc19c02b2e874a0af1df52741992805a45c2ec2f5f1bfe2","schema_version":"1.0","event_id":"sha256:75377618fbe30de6fbc19c02b2e874a0af1df52741992805a45c2ec2f5f1bfe2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:C4GISLUN7F3S5PTVIY2P2RN736","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Checking in multiplayer games development","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ilya Afanasyev, Manuel Mazzara, Ruslan Rezin, Victor Rivera","submitted_at":"2017-12-04T17:17:43Z","abstract_excerpt":"Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliability is a key feature to win the market. Computer games are also actively used to simulate different robotic systems where reliability is even more important, and potentially critical. Traditional software testing approaches can check a subset of all the possible program executions, and they can never guarantee complete absence of errors in the source code. On the other hand, during more than twenty years, Model Checkin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01207","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:48:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qyAjAEe/MMsl/g334CEbloD3tsN4sw986aO7VEXAOzp2iyG5EF4jotF4yB/4Id2XSQMnP50uwWdOWau09XvYCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T20:56:07.821518Z"},"content_sha256":"78386b7e65a49ac8a2f66ff609872c4dd20fcc98c716a2667045b902f5115080","schema_version":"1.0","event_id":"sha256:78386b7e65a49ac8a2f66ff609872c4dd20fcc98c716a2667045b902f5115080"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/bundle.json","state_url":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C4GISLUN7F3S5PTVIY2P2RN736/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-05-27T20:56:07Z","links":{"resolver":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736","bundle":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/bundle.json","state":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C4GISLUN7F3S5PTVIY2P2RN736/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:C4GISLUN7F3S5PTVIY2P2RN736","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":"347945ff323e7bd352db840d6f501722dcbbbce26ceb2591754ba82b9fab6063","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-04T17:17:43Z","title_canon_sha256":"6c68f4a18fc9fc1a821d069e178220330c75d39c4821dab1e8530215d3b16f73"},"schema_version":"1.0","source":{"id":"1712.01207","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01207","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01207v1","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01207","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"pith_short_12","alias_value":"C4GISLUN7F3S","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"C4GISLUN7F3S5PTV","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"C4GISLUN","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:78386b7e65a49ac8a2f66ff609872c4dd20fcc98c716a2667045b902f5115080","target":"graph","created_at":"2026-05-17T23:48:11Z","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":"Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliability is a key feature to win the market. Computer games are also actively used to simulate different robotic systems where reliability is even more important, and potentially critical. Traditional software testing approaches can check a subset of all the possible program executions, and they can never guarantee complete absence of errors in the source code. On the other hand, during more than twenty years, Model Checkin","authors_text":"Ilya Afanasyev, Manuel Mazzara, Ruslan Rezin, Victor Rivera","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-04T17:17:43Z","title":"Model Checking in multiplayer games development"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01207","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:75377618fbe30de6fbc19c02b2e874a0af1df52741992805a45c2ec2f5f1bfe2","target":"record","created_at":"2026-05-17T23:48:11Z","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":"347945ff323e7bd352db840d6f501722dcbbbce26ceb2591754ba82b9fab6063","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-04T17:17:43Z","title_canon_sha256":"6c68f4a18fc9fc1a821d069e178220330c75d39c4821dab1e8530215d3b16f73"},"schema_version":"1.0","source":{"id":"1712.01207","kind":"arxiv","version":1}},"canonical_sha256":"170c892e8df9772ebe754634fd45bfdf97af94e3c076b9d13037ec124529c496","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"170c892e8df9772ebe754634fd45bfdf97af94e3c076b9d13037ec124529c496","first_computed_at":"2026-05-17T23:48:11.929019Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:11.929019Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GNU6EOWX5PFJpzrOqoV2tb6yP8kiWL0K5aoeG+FLi16kizOOvosW48W7WERtwN8b81IT4EQYfaNDl5C23OJeAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:11.929679Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.01207","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75377618fbe30de6fbc19c02b2e874a0af1df52741992805a45c2ec2f5f1bfe2","sha256:78386b7e65a49ac8a2f66ff609872c4dd20fcc98c716a2667045b902f5115080"],"state_sha256":"d3bed03a01eddb0ffd784fc4973d54c0a6026cc51a9dfe719ad8f58dc976a5c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jGaIu6r2KYxHDZ6DLvdRD0xL7//+v3DiWqKv8BOgqQNeGgB5FRikHczQFfexzd7MaiwuGl67o6CwmeyH2R7QBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T20:56:07.827575Z","bundle_sha256":"a8732910a6585d4714311b9551b29dbf01a3f19b88c2335b9daabcfdcd3f2fbb"}}