{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:C4GISLUN7F3S5PTVIY2P2RN736","short_pith_number":"pith:C4GISLUN","schema_version":"1.0","canonical_sha256":"170c892e8df9772ebe754634fd45bfdf97af94e3c076b9d13037ec124529c496","source":{"kind":"arxiv","id":"1712.01207","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1712.01207","created_at":"2026-05-17T23:48:11.929126+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.01207v1","created_at":"2026-05-17T23:48:11.929126+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01207","created_at":"2026-05-17T23:48:11.929126+00:00"},{"alias_kind":"pith_short_12","alias_value":"C4GISLUN7F3S","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_16","alias_value":"C4GISLUN7F3S5PTV","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_8","alias_value":"C4GISLUN","created_at":"2026-05-18T12:31:08.081275+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736","json":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736.json","graph_json":"https://pith.science/api/pith-number/C4GISLUN7F3S5PTVIY2P2RN736/graph.json","events_json":"https://pith.science/api/pith-number/C4GISLUN7F3S5PTVIY2P2RN736/events.json","paper":"https://pith.science/paper/C4GISLUN"},"agent_actions":{"view_html":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736","download_json":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736.json","view_paper":"https://pith.science/paper/C4GISLUN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.01207&json=true","fetch_graph":"https://pith.science/api/pith-number/C4GISLUN7F3S5PTVIY2P2RN736/graph.json","fetch_events":"https://pith.science/api/pith-number/C4GISLUN7F3S5PTVIY2P2RN736/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/action/timestamp_anchor","attest_storage":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/action/storage_attestation","attest_author":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/action/author_attestation","sign_citation":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/action/citation_signature","submit_replication":"https://pith.science/pith/C4GISLUN7F3S5PTVIY2P2RN736/action/replication_record"}},"created_at":"2026-05-17T23:48:11.929126+00:00","updated_at":"2026-05-17T23:48:11.929126+00:00"}