{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PPIUO3HA6W3BKKTACGACYCTXG3","short_pith_number":"pith:PPIUO3HA","canonical_record":{"source":{"id":"1705.08399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-23T16:33:58Z","cross_cats_sorted":[],"title_canon_sha256":"67e58b64127f4ea7320011846a6fdb2942bc33d7b220c0b8d454843489365d7c","abstract_canon_sha256":"e4c1f08ecbfb60233f3e2266475806fe2abac88707abd1cf95e5ffc5ad2daeda"},"schema_version":"1.0"},"canonical_sha256":"7bd1476ce0f5b6152a6011802c0a7736e68666a9f1e12d18f20dad800cbd5227","source":{"kind":"arxiv","id":"1705.08399","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.08399","created_at":"2026-05-18T00:43:48Z"},{"alias_kind":"arxiv_version","alias_value":"1705.08399v1","created_at":"2026-05-18T00:43:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.08399","created_at":"2026-05-18T00:43:48Z"},{"alias_kind":"pith_short_12","alias_value":"PPIUO3HA6W3B","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PPIUO3HA6W3BKKTA","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PPIUO3HA","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PPIUO3HA6W3BKKTACGACYCTXG3","target":"record","payload":{"canonical_record":{"source":{"id":"1705.08399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-23T16:33:58Z","cross_cats_sorted":[],"title_canon_sha256":"67e58b64127f4ea7320011846a6fdb2942bc33d7b220c0b8d454843489365d7c","abstract_canon_sha256":"e4c1f08ecbfb60233f3e2266475806fe2abac88707abd1cf95e5ffc5ad2daeda"},"schema_version":"1.0"},"canonical_sha256":"7bd1476ce0f5b6152a6011802c0a7736e68666a9f1e12d18f20dad800cbd5227","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:48.345112Z","signature_b64":"EjWG034AX/IYFRyUc3KEdCt8y40bI+R2qSONCxb8np7YapTB/rQNkGa6RwnY3YYm5JBqj7Padj/lE8VjTa/iCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7bd1476ce0f5b6152a6011802c0a7736e68666a9f1e12d18f20dad800cbd5227","last_reissued_at":"2026-05-18T00:43:48.344592Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:48.344592Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.08399","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-18T00:43:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ltCjlBGYsZHM6ao78nRB4ZIRzterCVIPI12N8pczM4pHHe25YaL2efXI/58LkcVrB9yo36/hdB8LjzO2dFwcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T13:43:51.358620Z"},"content_sha256":"678741eeed018684d6fac0d67f29f9e0fa142d65d508b14b6c8428fe4d7affd5","schema_version":"1.0","event_id":"sha256:678741eeed018684d6fac0d67f29f9e0fa142d65d508b14b6c8428fe4d7affd5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PPIUO3HA6W3BKKTACGACYCTXG3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Timed k-Tail: Automatic Inference of Timed Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniela Micucci, Fabrizio Pastore, Leonardo Mariani","submitted_at":"2017-05-23T16:33:58Z","abstract_excerpt":"Accurate and up-to-date models describing the be- havior of software systems are seldom available in practice. To address this issue, software engineers may use specification mining techniques, which can automatically derive models that capture the behavior of the system under analysis. So far, most specification mining techniques focused on the functional behavior of the systems, with specific emphasis on models that represent the ordering of operations, such as tempo- ral rules and finite state models. Although useful, these models are inherently partial. For instance, they miss the timing b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.08399","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-18T00:43:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WE5KGNNpc2XmIxefullEEwFbi4qNHrmuPdqTOcNl+QeO42yZhJpQL6MOgS0EoMWJKyR7tbYkU4v2n6L4cKatBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T13:43:51.358965Z"},"content_sha256":"60ddace116f82b6d6cd0df2d12c0b72ef75ff627fba4b33fe2a449b676f58524","schema_version":"1.0","event_id":"sha256:60ddace116f82b6d6cd0df2d12c0b72ef75ff627fba4b33fe2a449b676f58524"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PPIUO3HA6W3BKKTACGACYCTXG3/bundle.json","state_url":"https://pith.science/pith/PPIUO3HA6W3BKKTACGACYCTXG3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PPIUO3HA6W3BKKTACGACYCTXG3/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-01T13:43:51Z","links":{"resolver":"https://pith.science/pith/PPIUO3HA6W3BKKTACGACYCTXG3","bundle":"https://pith.science/pith/PPIUO3HA6W3BKKTACGACYCTXG3/bundle.json","state":"https://pith.science/pith/PPIUO3HA6W3BKKTACGACYCTXG3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PPIUO3HA6W3BKKTACGACYCTXG3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PPIUO3HA6W3BKKTACGACYCTXG3","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":"e4c1f08ecbfb60233f3e2266475806fe2abac88707abd1cf95e5ffc5ad2daeda","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-23T16:33:58Z","title_canon_sha256":"67e58b64127f4ea7320011846a6fdb2942bc33d7b220c0b8d454843489365d7c"},"schema_version":"1.0","source":{"id":"1705.08399","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.08399","created_at":"2026-05-18T00:43:48Z"},{"alias_kind":"arxiv_version","alias_value":"1705.08399v1","created_at":"2026-05-18T00:43:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.08399","created_at":"2026-05-18T00:43:48Z"},{"alias_kind":"pith_short_12","alias_value":"PPIUO3HA6W3B","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PPIUO3HA6W3BKKTA","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PPIUO3HA","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:60ddace116f82b6d6cd0df2d12c0b72ef75ff627fba4b33fe2a449b676f58524","target":"graph","created_at":"2026-05-18T00:43:48Z","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":"Accurate and up-to-date models describing the be- havior of software systems are seldom available in practice. To address this issue, software engineers may use specification mining techniques, which can automatically derive models that capture the behavior of the system under analysis. So far, most specification mining techniques focused on the functional behavior of the systems, with specific emphasis on models that represent the ordering of operations, such as tempo- ral rules and finite state models. Although useful, these models are inherently partial. For instance, they miss the timing b","authors_text":"Daniela Micucci, Fabrizio Pastore, Leonardo Mariani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-23T16:33:58Z","title":"Timed k-Tail: Automatic Inference of Timed Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.08399","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:678741eeed018684d6fac0d67f29f9e0fa142d65d508b14b6c8428fe4d7affd5","target":"record","created_at":"2026-05-18T00:43:48Z","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":"e4c1f08ecbfb60233f3e2266475806fe2abac88707abd1cf95e5ffc5ad2daeda","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-23T16:33:58Z","title_canon_sha256":"67e58b64127f4ea7320011846a6fdb2942bc33d7b220c0b8d454843489365d7c"},"schema_version":"1.0","source":{"id":"1705.08399","kind":"arxiv","version":1}},"canonical_sha256":"7bd1476ce0f5b6152a6011802c0a7736e68666a9f1e12d18f20dad800cbd5227","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7bd1476ce0f5b6152a6011802c0a7736e68666a9f1e12d18f20dad800cbd5227","first_computed_at":"2026-05-18T00:43:48.344592Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:43:48.344592Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EjWG034AX/IYFRyUc3KEdCt8y40bI+R2qSONCxb8np7YapTB/rQNkGa6RwnY3YYm5JBqj7Padj/lE8VjTa/iCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:43:48.345112Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.08399","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:678741eeed018684d6fac0d67f29f9e0fa142d65d508b14b6c8428fe4d7affd5","sha256:60ddace116f82b6d6cd0df2d12c0b72ef75ff627fba4b33fe2a449b676f58524"],"state_sha256":"fc0e1d619b54226aed6489070f0002e45f096fbc44d23382bc879d5d51f9d904"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oWX1GeP6qzXwyyGeDybfpPfbu59eee5FRpt0x5nZ9M0eE1PuhZPB8FIEYpRHOrPvfb9swt3tW219fDiYVUa7AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T13:43:51.360857Z","bundle_sha256":"309c0cdd03e964c798757627a26e6de9a6f6a134598d96a73f17b990dc18169a"}}