{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:DJGUKI34ZRXZZUZ7XUYDN7H4QL","short_pith_number":"pith:DJGUKI34","schema_version":"1.0","canonical_sha256":"1a4d45237ccc6f9cd33fbd3036fcfc82db713f3f8d0bc577a55cf1200013d97a","source":{"kind":"arxiv","id":"1212.3454","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1212.3454","created_at":"2026-05-18T03:38:24.610087+00:00"},{"alias_kind":"arxiv_version","alias_value":"1212.3454v1","created_at":"2026-05-18T03:38:24.610087+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3454","created_at":"2026-05-18T03:38:24.610087+00:00"},{"alias_kind":"pith_short_12","alias_value":"DJGUKI34ZRXZ","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_16","alias_value":"DJGUKI34ZRXZZUZ7","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_8","alias_value":"DJGUKI34","created_at":"2026-05-18T12:27:04.183437+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/DJGUKI34ZRXZZUZ7XUYDN7H4QL","json":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL.json","graph_json":"https://pith.science/api/pith-number/DJGUKI34ZRXZZUZ7XUYDN7H4QL/graph.json","events_json":"https://pith.science/api/pith-number/DJGUKI34ZRXZZUZ7XUYDN7H4QL/events.json","paper":"https://pith.science/paper/DJGUKI34"},"agent_actions":{"view_html":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL","download_json":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL.json","view_paper":"https://pith.science/paper/DJGUKI34","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1212.3454&json=true","fetch_graph":"https://pith.science/api/pith-number/DJGUKI34ZRXZZUZ7XUYDN7H4QL/graph.json","fetch_events":"https://pith.science/api/pith-number/DJGUKI34ZRXZZUZ7XUYDN7H4QL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/action/storage_attestation","attest_author":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/action/author_attestation","sign_citation":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/action/citation_signature","submit_replication":"https://pith.science/pith/DJGUKI34ZRXZZUZ7XUYDN7H4QL/action/replication_record"}},"created_at":"2026-05-18T03:38:24.610087+00:00","updated_at":"2026-05-18T03:38:24.610087+00:00"}