{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:DJGUKI34ZRXZZUZ7XUYDN7H4QL","short_pith_number":"pith:DJGUKI34","canonical_record":{"source":{"id":"1212.3454","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-14T12:38:37Z","cross_cats_sorted":["cs.FL","cs.LG","cs.SE"],"title_canon_sha256":"c2fa8a7bf796e41796a00b4ef6611eba8caa5498211008478b08f446fadf5e0a","abstract_canon_sha256":"03facf360dad1b1ee432086cedd7cff38ddfd3ce9cbf7b02a1d523bd04170031"},"schema_version":"1.0"},"canonical_sha256":"1a4d45237ccc6f9cd33fbd3036fcfc82db713f3f8d0bc577a55cf1200013d97a","source":{"kind":"arxiv","id":"1212.3454","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3454","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3454v1","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3454","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"DJGUKI34ZRXZ","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DJGUKI34ZRXZZUZ7","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DJGUKI34","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:DJGUKI34ZRXZZUZ7XUYDN7H4QL","target":"record","payload":{"canonical_record":{"source":{"id":"1212.3454","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-14T12:38:37Z","cross_cats_sorted":["cs.FL","cs.LG","cs.SE"],"title_canon_sha256":"c2fa8a7bf796e41796a00b4ef6611eba8caa5498211008478b08f446fadf5e0a","abstract_canon_sha256":"03facf360dad1b1ee432086cedd7cff38ddfd3ce9cbf7b02a1d523bd04170031"},"schema_version":"1.0"},"canonical_sha256":"1a4d45237ccc6f9cd33fbd3036fcfc82db713f3f8d0bc577a55cf1200013d97a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:38:24.610760Z","signature_b64":"s9otkDyKkhM9nNfc4dYUCpyhY+VHQcPywwNOZ+w5pCPfzLfl6OFQ8YiJ+Rs/W21lqmqirxKQZ3gbxyEGWfDUDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a4d45237ccc6f9cd33fbd3036fcfc82db713f3f8d0bc577a55cf1200013d97a","last_reissued_at":"2026-05-18T03:38:24.609969Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:38:24.609969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.3454","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-18T03:38:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OGIko2CFfY5gASmY77ZqwJPeaBW+8ZbbEa0V2HPzRadwLl0VTwhtB24TTzptYeGuXIDppNaFL6lOwHXnwkfaDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:17:20.384987Z"},"content_sha256":"1ab4c2c593ff329d85a672df133d8e8910c8f7a7b1ca588ddcf6dac7b8ce3f25","schema_version":"1.0","event_id":"sha256:1ab4c2c593ff329d85a672df133d8e8910c8f7a7b1ca588ddcf6dac7b8ce3f25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:DJGUKI34ZRXZZUZ7XUYDN7H4QL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Quantities in Formal Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.LG","cs.SE"],"primary_cat":"cs.LO","authors_text":"Axel Legay (Irisa / INRIA Rennes, Claus Thrane (Aalborg University, Denmark), France), Uli Fahrenberg (Irisa / INRIA Rennes","submitted_at":"2012-12-14T12:38:37Z","abstract_excerpt":"This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th Symposium on Formal Methods, FM 2012. The focus of the workshop was on quantities in modeling, verification, and synthesis. Modern applications of formal methods require to reason formally on quantities such as time, resources, or probabilities. Standard formal methods and tools have gotten very good at modeling (and verifying) qualitative properties: whether or not certain events will occur. During the last years, th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3454","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-18T03:38:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hNDC7ekIh166jjKEQ/J78ikwMp08GJQZpFBh0HjKMFi7RGdTXh8x7QX76EAMb744AsBuGljsVO6UY6FiNXwBDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:17:20.385397Z"},"content_sha256":"11f01613570a4cb09770b89c4bbe63b1014a5fc2023ea1b2c7f2b7f989642ac7","schema_version":"1.0","event_id":"sha256:11f01613570a4cb09770b89c4bbe63b1014a5fc2023ea1b2c7f2b7f989642ac7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/bundle.json","state_url":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/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-06T13:17:20Z","links":{"resolver":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL","bundle":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/bundle.json","state":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:DJGUKI34ZRXZZUZ7XUYDN7H4QL","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":"03facf360dad1b1ee432086cedd7cff38ddfd3ce9cbf7b02a1d523bd04170031","cross_cats_sorted":["cs.FL","cs.LG","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-14T12:38:37Z","title_canon_sha256":"c2fa8a7bf796e41796a00b4ef6611eba8caa5498211008478b08f446fadf5e0a"},"schema_version":"1.0","source":{"id":"1212.3454","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3454","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3454v1","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3454","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"DJGUKI34ZRXZ","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DJGUKI34ZRXZZUZ7","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DJGUKI34","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:11f01613570a4cb09770b89c4bbe63b1014a5fc2023ea1b2c7f2b7f989642ac7","target":"graph","created_at":"2026-05-18T03:38:24Z","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 volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th Symposium on Formal Methods, FM 2012. The focus of the workshop was on quantities in modeling, verification, and synthesis. Modern applications of formal methods require to reason formally on quantities such as time, resources, or probabilities. Standard formal methods and tools have gotten very good at modeling (and verifying) qualitative properties: whether or not certain events will occur. During the last years, th","authors_text":"Axel Legay (Irisa / INRIA Rennes, Claus Thrane (Aalborg University, Denmark), France), Uli Fahrenberg (Irisa / INRIA Rennes","cross_cats":["cs.FL","cs.LG","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-14T12:38:37Z","title":"Proceedings Quantities in Formal Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3454","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:1ab4c2c593ff329d85a672df133d8e8910c8f7a7b1ca588ddcf6dac7b8ce3f25","target":"record","created_at":"2026-05-18T03:38:24Z","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":"03facf360dad1b1ee432086cedd7cff38ddfd3ce9cbf7b02a1d523bd04170031","cross_cats_sorted":["cs.FL","cs.LG","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-14T12:38:37Z","title_canon_sha256":"c2fa8a7bf796e41796a00b4ef6611eba8caa5498211008478b08f446fadf5e0a"},"schema_version":"1.0","source":{"id":"1212.3454","kind":"arxiv","version":1}},"canonical_sha256":"1a4d45237ccc6f9cd33fbd3036fcfc82db713f3f8d0bc577a55cf1200013d97a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a4d45237ccc6f9cd33fbd3036fcfc82db713f3f8d0bc577a55cf1200013d97a","first_computed_at":"2026-05-18T03:38:24.609969Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:24.609969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s9otkDyKkhM9nNfc4dYUCpyhY+VHQcPywwNOZ+w5pCPfzLfl6OFQ8YiJ+Rs/W21lqmqirxKQZ3gbxyEGWfDUDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:24.610760Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.3454","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ab4c2c593ff329d85a672df133d8e8910c8f7a7b1ca588ddcf6dac7b8ce3f25","sha256:11f01613570a4cb09770b89c4bbe63b1014a5fc2023ea1b2c7f2b7f989642ac7"],"state_sha256":"fa71821cfbbb154ec8e7fd5ed548428670fb46125c93892c8a13f55fadb387e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YBmrkyqfcojRvAWn21Jbo+Zvack1OwZCYtINUuGoQM5EeXg+9T0a26xcsgWb+VWyrFjEysgwJVcUwwZiDBrzAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T13:17:20.387821Z","bundle_sha256":"5cae377c771c656de41a944318488cc8285c170d37561d71b898e2af801ef10a"}}