{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:RUNG3VJHHJMTS22ZVATF45ZULT","short_pith_number":"pith:RUNG3VJH","schema_version":"1.0","canonical_sha256":"8d1a6dd5273a59396b59a8265e77345ce5ea7b0275f51c74c8ee81dc1187cd2f","source":{"kind":"arxiv","id":"1609.00610","version":1},"attestation_state":"computed","paper":{"title":"Modeling, refining and analyzing Incomplete B\\\"uchi Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Carlo Ghezzi, Claudio Menghi, Paola Spoletini","submitted_at":"2016-09-02T14:19:43Z","abstract_excerpt":"Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully specified, implementation. This report discusses the theoretical foundations that allow Incomplete B\\\"uchi Automata (IBAs) to be used in the iterative development of a sequential system."},"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":"1609.00610","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-09-02T14:19:43Z","cross_cats_sorted":[],"title_canon_sha256":"aca2d6452a4b697b168cfda6e9375791641e15669371c3ba1129eb3201ffb14c","abstract_canon_sha256":"9ddb9f102c8c97545dda760e066992542844e8b23e609713c99b7522b990f25c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:23.595606Z","signature_b64":"lzDNg2A8LKF2Vn1ErSfwKVvr8JqIkNqq9QfB76S2gvajn5w5nRvKoR/U27YTdqiUihd+exSabRxE+PJDX5LzCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d1a6dd5273a59396b59a8265e77345ce5ea7b0275f51c74c8ee81dc1187cd2f","last_reissued_at":"2026-05-18T01:06:23.595092Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:23.595092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modeling, refining and analyzing Incomplete B\\\"uchi Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Carlo Ghezzi, Claudio Menghi, Paola Spoletini","submitted_at":"2016-09-02T14:19:43Z","abstract_excerpt":"Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully specified, implementation. This report discusses the theoretical foundations that allow Incomplete B\\\"uchi Automata (IBAs) to be used in the iterative development of a sequential system."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00610","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":"1609.00610","created_at":"2026-05-18T01:06:23.595172+00:00"},{"alias_kind":"arxiv_version","alias_value":"1609.00610v1","created_at":"2026-05-18T01:06:23.595172+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.00610","created_at":"2026-05-18T01:06:23.595172+00:00"},{"alias_kind":"pith_short_12","alias_value":"RUNG3VJHHJMT","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_16","alias_value":"RUNG3VJHHJMTS22Z","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_8","alias_value":"RUNG3VJH","created_at":"2026-05-18T12:30:41.710351+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/RUNG3VJHHJMTS22ZVATF45ZULT","json":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT.json","graph_json":"https://pith.science/api/pith-number/RUNG3VJHHJMTS22ZVATF45ZULT/graph.json","events_json":"https://pith.science/api/pith-number/RUNG3VJHHJMTS22ZVATF45ZULT/events.json","paper":"https://pith.science/paper/RUNG3VJH"},"agent_actions":{"view_html":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT","download_json":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT.json","view_paper":"https://pith.science/paper/RUNG3VJH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1609.00610&json=true","fetch_graph":"https://pith.science/api/pith-number/RUNG3VJHHJMTS22ZVATF45ZULT/graph.json","fetch_events":"https://pith.science/api/pith-number/RUNG3VJHHJMTS22ZVATF45ZULT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT/action/storage_attestation","attest_author":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT/action/author_attestation","sign_citation":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT/action/citation_signature","submit_replication":"https://pith.science/pith/RUNG3VJHHJMTS22ZVATF45ZULT/action/replication_record"}},"created_at":"2026-05-18T01:06:23.595172+00:00","updated_at":"2026-05-18T01:06:23.595172+00:00"}