{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:Y2B6AS5RFM3MPO7AZ33VHHPE2Q","short_pith_number":"pith:Y2B6AS5R","canonical_record":{"source":{"id":"1207.6267","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-07-26T13:33:57Z","cross_cats_sorted":[],"title_canon_sha256":"254e085164ac0e2b8e4f731306274942f6ae7479cba6624da8e3be9463fa428f","abstract_canon_sha256":"6209dd5c8706d08c2aee60cbd14072f367bdd770d646a243f360ac8268dca954"},"schema_version":"1.0"},"canonical_sha256":"c683e04bb12b36c7bbe0cef7539de4d41ace437150b7c07e6cff95a7f592dee3","source":{"kind":"arxiv","id":"1207.6267","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.6267","created_at":"2026-05-18T00:56:52Z"},{"alias_kind":"arxiv_version","alias_value":"1207.6267v3","created_at":"2026-05-18T00:56:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.6267","created_at":"2026-05-18T00:56:52Z"},{"alias_kind":"pith_short_12","alias_value":"Y2B6AS5RFM3M","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"Y2B6AS5RFM3MPO7A","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"Y2B6AS5R","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:Y2B6AS5RFM3MPO7AZ33VHHPE2Q","target":"record","payload":{"canonical_record":{"source":{"id":"1207.6267","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-07-26T13:33:57Z","cross_cats_sorted":[],"title_canon_sha256":"254e085164ac0e2b8e4f731306274942f6ae7479cba6624da8e3be9463fa428f","abstract_canon_sha256":"6209dd5c8706d08c2aee60cbd14072f367bdd770d646a243f360ac8268dca954"},"schema_version":"1.0"},"canonical_sha256":"c683e04bb12b36c7bbe0cef7539de4d41ace437150b7c07e6cff95a7f592dee3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:52.564560Z","signature_b64":"FlN2kIR8DAxg0AOKNmXXap8rrxG0W+IgF/KomNB+vW3dy4Uh2r3D2dBaVgwRU15e5hoT77XBDpsnYLWSYJaDCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c683e04bb12b36c7bbe0cef7539de4d41ace437150b7c07e6cff95a7f592dee3","last_reissued_at":"2026-05-18T00:56:52.563776Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:52.563776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.6267","source_version":3,"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:56:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y3VLHXcEopu4jDKvh8rz5uGIHgPn8zgKarXnagQw7XtMmXac0K2/EmSGiQTAnjTO0G9dZb1kWCAu0rHwkU6cBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:16:58.165651Z"},"content_sha256":"569ff18a3f4f00ebe6f1d77e11239e18ee71608581f1b1faf5b4bf04258a1021","schema_version":"1.0","event_id":"sha256:569ff18a3f4f00ebe6f1d77e11239e18ee71608581f1b1faf5b4bf04258a1021"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:Y2B6AS5RFM3MPO7AZ33VHHPE2Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Off-line test selection with test purposes for non-deterministic timed automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Am\\'elie Stainer (University of Rennes 1), Moez Krichen (Institute of Computer Science, Multimedia, Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique), Sfax), Thierry J\\'eron (INRIA Rennes - Bretagne Atlantique)","submitted_at":"2012-07-26T13:33:57Z","abstract_excerpt":"This article proposes novel off-line test generation techniques from non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conformance theory. In this context, a first problem is the determinization of TAIOs, which is necessary to foresee next enabled actions after an observable trace, but is in general impossible because not all timed automata are determinizable. This problem is solved thanks to an approximate determinization using a game approach. The algorithm performs an io-abstraction which preserves the tioco conformance relation and thus g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.6267","kind":"arxiv","version":3},"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:56:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0NaoTGlqzqJdNy+8CZ2zbBe7pBKznphOmI8xlqhEyURJUoKwaTpbJQro1EKQrZeXA5BKOFsdnrwRj294h2ydCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:16:58.165989Z"},"content_sha256":"40c23d6951219adf4edd57c3fcaac398ccf97b818fc8440c91fc547b5a0faff4","schema_version":"1.0","event_id":"sha256:40c23d6951219adf4edd57c3fcaac398ccf97b818fc8440c91fc547b5a0faff4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q/bundle.json","state_url":"https://pith.science/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q/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-23T23:16:58Z","links":{"resolver":"https://pith.science/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q","bundle":"https://pith.science/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q/bundle.json","state":"https://pith.science/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y2B6AS5RFM3MPO7AZ33VHHPE2Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:Y2B6AS5RFM3MPO7AZ33VHHPE2Q","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":"6209dd5c8706d08c2aee60cbd14072f367bdd770d646a243f360ac8268dca954","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-07-26T13:33:57Z","title_canon_sha256":"254e085164ac0e2b8e4f731306274942f6ae7479cba6624da8e3be9463fa428f"},"schema_version":"1.0","source":{"id":"1207.6267","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.6267","created_at":"2026-05-18T00:56:52Z"},{"alias_kind":"arxiv_version","alias_value":"1207.6267v3","created_at":"2026-05-18T00:56:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.6267","created_at":"2026-05-18T00:56:52Z"},{"alias_kind":"pith_short_12","alias_value":"Y2B6AS5RFM3M","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"Y2B6AS5RFM3MPO7A","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"Y2B6AS5R","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:40c23d6951219adf4edd57c3fcaac398ccf97b818fc8440c91fc547b5a0faff4","target":"graph","created_at":"2026-05-18T00:56:52Z","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":"This article proposes novel off-line test generation techniques from non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conformance theory. In this context, a first problem is the determinization of TAIOs, which is necessary to foresee next enabled actions after an observable trace, but is in general impossible because not all timed automata are determinizable. This problem is solved thanks to an approximate determinization using a game approach. The algorithm performs an io-abstraction which preserves the tioco conformance relation and thus g","authors_text":"Am\\'elie Stainer (University of Rennes 1), Moez Krichen (Institute of Computer Science, Multimedia, Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique), Sfax), Thierry J\\'eron (INRIA Rennes - Bretagne Atlantique)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-07-26T13:33:57Z","title":"Off-line test selection with test purposes for non-deterministic timed automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.6267","kind":"arxiv","version":3},"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:569ff18a3f4f00ebe6f1d77e11239e18ee71608581f1b1faf5b4bf04258a1021","target":"record","created_at":"2026-05-18T00:56:52Z","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":"6209dd5c8706d08c2aee60cbd14072f367bdd770d646a243f360ac8268dca954","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-07-26T13:33:57Z","title_canon_sha256":"254e085164ac0e2b8e4f731306274942f6ae7479cba6624da8e3be9463fa428f"},"schema_version":"1.0","source":{"id":"1207.6267","kind":"arxiv","version":3}},"canonical_sha256":"c683e04bb12b36c7bbe0cef7539de4d41ace437150b7c07e6cff95a7f592dee3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c683e04bb12b36c7bbe0cef7539de4d41ace437150b7c07e6cff95a7f592dee3","first_computed_at":"2026-05-18T00:56:52.563776Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:52.563776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FlN2kIR8DAxg0AOKNmXXap8rrxG0W+IgF/KomNB+vW3dy4Uh2r3D2dBaVgwRU15e5hoT77XBDpsnYLWSYJaDCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:52.564560Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.6267","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:569ff18a3f4f00ebe6f1d77e11239e18ee71608581f1b1faf5b4bf04258a1021","sha256:40c23d6951219adf4edd57c3fcaac398ccf97b818fc8440c91fc547b5a0faff4"],"state_sha256":"a61ed6567a93b407011e90f4d4a7d667d2dd3ea52e2abe1fcc5fd18d6d25bc6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uQ84S5K9w6KiDjJCryHwiz6E22eaw79EtzoOTdjniNz+u5R5+UYEUnrP4W3hwioTbUnun6OyjrAfDlmjAJ6BCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T23:16:58.167897Z","bundle_sha256":"0594602bf1a0e5807153e2c466ebbcfb01e355deb13de72d303b6b629d504629"}}