{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KWFPWLV6PAWKJANSR5XZIW7AHD","short_pith_number":"pith:KWFPWLV6","canonical_record":{"source":{"id":"1705.04510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-12T11:04:16Z","cross_cats_sorted":[],"title_canon_sha256":"ba8e816f2215402ed6a7cee9f5d83ac4ef6043a5a9182fb68a17e1ab6274df3f","abstract_canon_sha256":"706db57e21d176dbef14ca35962463287b03a54631ae6a5145e687e1b254ef89"},"schema_version":"1.0"},"canonical_sha256":"558afb2ebe782ca481b28f6f945be038e117dcd9e91865103aa3e2e1acec71c9","source":{"kind":"arxiv","id":"1705.04510","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04510","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04510v1","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04510","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"pith_short_12","alias_value":"KWFPWLV6PAWK","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KWFPWLV6PAWKJANS","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KWFPWLV6","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KWFPWLV6PAWKJANSR5XZIW7AHD","target":"record","payload":{"canonical_record":{"source":{"id":"1705.04510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-12T11:04:16Z","cross_cats_sorted":[],"title_canon_sha256":"ba8e816f2215402ed6a7cee9f5d83ac4ef6043a5a9182fb68a17e1ab6274df3f","abstract_canon_sha256":"706db57e21d176dbef14ca35962463287b03a54631ae6a5145e687e1b254ef89"},"schema_version":"1.0"},"canonical_sha256":"558afb2ebe782ca481b28f6f945be038e117dcd9e91865103aa3e2e1acec71c9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:37.905557Z","signature_b64":"icft4vk14ibduUqKbHq1Brpd9NLdZL/ENiWHDdX7UqeHTG4sOpM8g0li1f2XqxCUBHg8Ev2/rbumbotuPxL8Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"558afb2ebe782ca481b28f6f945be038e117dcd9e91865103aa3e2e1acec71c9","last_reissued_at":"2026-05-18T00:44:37.905151Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:37.905151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.04510","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:44:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"geRk95Y599XsVTq8bwkRk8vaeuSmlfsTXs97T39RJZAx4Nq18x/EJ3clY73rx81ZeOgW6MBJN4HYleVN5KeCBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T05:58:43.635912Z"},"content_sha256":"783afd0a1524c383b5bcbbe027ca9548870ae98a3b1ee4a3a8d8265effc16362","schema_version":"1.0","event_id":"sha256:783afd0a1524c383b5bcbbe027ca9548870ae98a3b1ee4a3a8d8265effc16362"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KWFPWLV6PAWKJANSR5XZIW7AHD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalizing Timing Diagram Requirements in Discrete Duration Calulus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel","submitted_at":"2017-05-12T11:04:16Z","abstract_excerpt":"Several temporal logics have been proposed to formalise timing diagram requirements over hardware and embedded controllers. These include LTL, discrete time MTL and the recent industry standard PSL. However, succintness and visual structure of a timing diagram are not adequately captured by their formulae. Interval temporal logic QDDC is a highly succint and visual notation for specifying patterns of behaviours.\n  In this paper, we propose a practically useful notation called SeCeCntnl which enhances negation free fragment of QDDC with features of nominals and limited liveness. We show that ti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04510","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:44:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wIjV1BLaI0Pxj76rBR2ZoEVSHFHD3y9R3nwkyMjLMgJcrPZlkTm0cL+IEtySTGsF6rMEvZ3wXm+i/fNRGMLgBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T05:58:43.636349Z"},"content_sha256":"8e6601bd96f93f7fa3f1019dc66bd54f22ada7071433ae6590cfc79e66b89e2f","schema_version":"1.0","event_id":"sha256:8e6601bd96f93f7fa3f1019dc66bd54f22ada7071433ae6590cfc79e66b89e2f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KWFPWLV6PAWKJANSR5XZIW7AHD/bundle.json","state_url":"https://pith.science/pith/KWFPWLV6PAWKJANSR5XZIW7AHD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KWFPWLV6PAWKJANSR5XZIW7AHD/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-07-04T05:58:43Z","links":{"resolver":"https://pith.science/pith/KWFPWLV6PAWKJANSR5XZIW7AHD","bundle":"https://pith.science/pith/KWFPWLV6PAWKJANSR5XZIW7AHD/bundle.json","state":"https://pith.science/pith/KWFPWLV6PAWKJANSR5XZIW7AHD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KWFPWLV6PAWKJANSR5XZIW7AHD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KWFPWLV6PAWKJANSR5XZIW7AHD","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":"706db57e21d176dbef14ca35962463287b03a54631ae6a5145e687e1b254ef89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-12T11:04:16Z","title_canon_sha256":"ba8e816f2215402ed6a7cee9f5d83ac4ef6043a5a9182fb68a17e1ab6274df3f"},"schema_version":"1.0","source":{"id":"1705.04510","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04510","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04510v1","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04510","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"pith_short_12","alias_value":"KWFPWLV6PAWK","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KWFPWLV6PAWKJANS","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KWFPWLV6","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:8e6601bd96f93f7fa3f1019dc66bd54f22ada7071433ae6590cfc79e66b89e2f","target":"graph","created_at":"2026-05-18T00:44:37Z","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":"Several temporal logics have been proposed to formalise timing diagram requirements over hardware and embedded controllers. These include LTL, discrete time MTL and the recent industry standard PSL. However, succintness and visual structure of a timing diagram are not adequately captured by their formulae. Interval temporal logic QDDC is a highly succint and visual notation for specifying patterns of behaviours.\n  In this paper, we propose a practically useful notation called SeCeCntnl which enhances negation free fragment of QDDC with features of nominals and limited liveness. We show that ti","authors_text":"Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-12T11:04:16Z","title":"Formalizing Timing Diagram Requirements in Discrete Duration Calulus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04510","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:783afd0a1524c383b5bcbbe027ca9548870ae98a3b1ee4a3a8d8265effc16362","target":"record","created_at":"2026-05-18T00:44:37Z","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":"706db57e21d176dbef14ca35962463287b03a54631ae6a5145e687e1b254ef89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-12T11:04:16Z","title_canon_sha256":"ba8e816f2215402ed6a7cee9f5d83ac4ef6043a5a9182fb68a17e1ab6274df3f"},"schema_version":"1.0","source":{"id":"1705.04510","kind":"arxiv","version":1}},"canonical_sha256":"558afb2ebe782ca481b28f6f945be038e117dcd9e91865103aa3e2e1acec71c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"558afb2ebe782ca481b28f6f945be038e117dcd9e91865103aa3e2e1acec71c9","first_computed_at":"2026-05-18T00:44:37.905151Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:37.905151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"icft4vk14ibduUqKbHq1Brpd9NLdZL/ENiWHDdX7UqeHTG4sOpM8g0li1f2XqxCUBHg8Ev2/rbumbotuPxL8Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:37.905557Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.04510","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:783afd0a1524c383b5bcbbe027ca9548870ae98a3b1ee4a3a8d8265effc16362","sha256:8e6601bd96f93f7fa3f1019dc66bd54f22ada7071433ae6590cfc79e66b89e2f"],"state_sha256":"8b0f1e12fbbdf2865316111d99d2332a1a9f05ecdd8ebf8f635ff2f45a6ab2fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UUR8R8nLq66bsmRY3NBi5OlFQjW1uEE54BsP69YSG+/bdEchvmcdRJ8ThZXPOTPJWFD1lKmXADNaF3zwvvy/DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T05:58:43.638821Z","bundle_sha256":"6e29b27e275b0ab6359f533a8d08774fb71dbe569a3272143008573107f602fa"}}