{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:4BJCA4PZUXOG6EFO4K2N2KTZNU","short_pith_number":"pith:4BJCA4PZ","schema_version":"1.0","canonical_sha256":"e0522071f9a5dc6f10aee2b4dd2a796d3cb37fb39e046cd7c77e8aee61ef4d30","source":{"kind":"arxiv","id":"1210.5659","version":1},"attestation_state":"computed","paper":{"title":"Weighted Modal Transition Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Axel Legay, Claus Thrane, Kim G. Larsen, Line Juhl, Sebastian S. Bauer, Uli Fahrenberg","submitted_at":"2012-10-20T21:57:52Z","abstract_excerpt":"Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it difficult to transfer conclusions about the behavior, based on models, to the actual system. Hence this approach is arguably unsuited for modern software systems. We propose here the first specification theo"},"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":"1210.5659","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-20T21:57:52Z","cross_cats_sorted":[],"title_canon_sha256":"0ca333b14db44c48c492f9ddbced7683099945f6d680913baf5630743bcdb444","abstract_canon_sha256":"7adc2de365d6928cba299d056e1f5112219d1768985408eaa516f6da7bdb2907"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:43.410703Z","signature_b64":"x9cnMI56Ct3XISLy53LBbpqkw407BPv6Ul0U30uV0X7GRhJdoNWwpgpNrb1o4KIrikC+NcihzCFWyctlGp2DBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e0522071f9a5dc6f10aee2b4dd2a796d3cb37fb39e046cd7c77e8aee61ef4d30","last_reissued_at":"2026-05-18T03:42:43.410085Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:43.410085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Weighted Modal Transition Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Axel Legay, Claus Thrane, Kim G. Larsen, Line Juhl, Sebastian S. Bauer, Uli Fahrenberg","submitted_at":"2012-10-20T21:57:52Z","abstract_excerpt":"Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it difficult to transfer conclusions about the behavior, based on models, to the actual system. Hence this approach is arguably unsuited for modern software systems. We propose here the first specification theo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.5659","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":"1210.5659","created_at":"2026-05-18T03:42:43.410200+00:00"},{"alias_kind":"arxiv_version","alias_value":"1210.5659v1","created_at":"2026-05-18T03:42:43.410200+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.5659","created_at":"2026-05-18T03:42:43.410200+00:00"},{"alias_kind":"pith_short_12","alias_value":"4BJCA4PZUXOG","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_16","alias_value":"4BJCA4PZUXOG6EFO","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_8","alias_value":"4BJCA4PZ","created_at":"2026-05-18T12:26:53.410803+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/4BJCA4PZUXOG6EFO4K2N2KTZNU","json":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU.json","graph_json":"https://pith.science/api/pith-number/4BJCA4PZUXOG6EFO4K2N2KTZNU/graph.json","events_json":"https://pith.science/api/pith-number/4BJCA4PZUXOG6EFO4K2N2KTZNU/events.json","paper":"https://pith.science/paper/4BJCA4PZ"},"agent_actions":{"view_html":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU","download_json":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU.json","view_paper":"https://pith.science/paper/4BJCA4PZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1210.5659&json=true","fetch_graph":"https://pith.science/api/pith-number/4BJCA4PZUXOG6EFO4K2N2KTZNU/graph.json","fetch_events":"https://pith.science/api/pith-number/4BJCA4PZUXOG6EFO4K2N2KTZNU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU/action/storage_attestation","attest_author":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU/action/author_attestation","sign_citation":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU/action/citation_signature","submit_replication":"https://pith.science/pith/4BJCA4PZUXOG6EFO4K2N2KTZNU/action/replication_record"}},"created_at":"2026-05-18T03:42:43.410200+00:00","updated_at":"2026-05-18T03:42:43.410200+00:00"}