{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:JCGSRTECVHOA6LXYBKIRRFP6L5","short_pith_number":"pith:JCGSRTEC","schema_version":"1.0","canonical_sha256":"488d28cc82a9dc0f2ef80a911895fe5f6cc8f939c29a71b18a16950167622850","source":{"kind":"arxiv","id":"1310.6670","version":1},"attestation_state":"computed","paper":{"title":"Distributed CTL Model Checking in the Cloud","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.SE","authors_text":"Carlo Bellettini, Lorenzo Capra, Matteo Camilli, Mattia Monga","submitted_at":"2013-10-24T16:54:37Z","abstract_excerpt":"The recent extensive availability of \"big data\" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high performance data processing software for extracting knowledge from the unprecedented amount of data which come from analyzed systems. Since cloud based computing resources have became easily accessible, there is an opportunity for verification techniques and tools to undergo a deep technological transition to exploit the new available architectures. This has created an increasing interest in parallelizing and distributin"},"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":"1310.6670","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-10-24T16:54:37Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"52f905a20cd9426a7e89c9d59757f35b3597b7e8136346c688d23b77cfc0ae14","abstract_canon_sha256":"c385b2a785219b950ecbe4925802f1667e4f18a21c62978565da94388e1e4828"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:08.166472Z","signature_b64":"5la3D6ev8ehhu3pQdBMxlGcNb416Ns6Jd3rpQVRHBkBUcrhWD3xlMj+vS7Kge5IOViSEQQHy418XWa/BAY40DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"488d28cc82a9dc0f2ef80a911895fe5f6cc8f939c29a71b18a16950167622850","last_reissued_at":"2026-05-18T02:27:08.165549Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:08.165549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Distributed CTL Model Checking in the Cloud","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.SE","authors_text":"Carlo Bellettini, Lorenzo Capra, Matteo Camilli, Mattia Monga","submitted_at":"2013-10-24T16:54:37Z","abstract_excerpt":"The recent extensive availability of \"big data\" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high performance data processing software for extracting knowledge from the unprecedented amount of data which come from analyzed systems. Since cloud based computing resources have became easily accessible, there is an opportunity for verification techniques and tools to undergo a deep technological transition to exploit the new available architectures. This has created an increasing interest in parallelizing and distributin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6670","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":"1310.6670","created_at":"2026-05-18T02:27:08.165703+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.6670v1","created_at":"2026-05-18T02:27:08.165703+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6670","created_at":"2026-05-18T02:27:08.165703+00:00"},{"alias_kind":"pith_short_12","alias_value":"JCGSRTECVHOA","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"JCGSRTECVHOA6LXY","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"JCGSRTEC","created_at":"2026-05-18T12:27:49.015174+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/JCGSRTECVHOA6LXYBKIRRFP6L5","json":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5.json","graph_json":"https://pith.science/api/pith-number/JCGSRTECVHOA6LXYBKIRRFP6L5/graph.json","events_json":"https://pith.science/api/pith-number/JCGSRTECVHOA6LXYBKIRRFP6L5/events.json","paper":"https://pith.science/paper/JCGSRTEC"},"agent_actions":{"view_html":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5","download_json":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5.json","view_paper":"https://pith.science/paper/JCGSRTEC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.6670&json=true","fetch_graph":"https://pith.science/api/pith-number/JCGSRTECVHOA6LXYBKIRRFP6L5/graph.json","fetch_events":"https://pith.science/api/pith-number/JCGSRTECVHOA6LXYBKIRRFP6L5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5/action/storage_attestation","attest_author":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5/action/author_attestation","sign_citation":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5/action/citation_signature","submit_replication":"https://pith.science/pith/JCGSRTECVHOA6LXYBKIRRFP6L5/action/replication_record"}},"created_at":"2026-05-18T02:27:08.165703+00:00","updated_at":"2026-05-18T02:27:08.165703+00:00"}