{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:P5WYQQM4RF6D2FPNRB5SNZNDSA","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":"6cecc254d865dcfa5409c3408e4e60de15ecb81612416fbbd94c0cf5caf5fe7a","cross_cats_sorted":["cs.FL","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-02T13:52:52Z","title_canon_sha256":"ad2a9ec114bf9ab56cdb1278fb752b1eb66873592f1c52a26f668f9b98a78cf0"},"schema_version":"1.0","source":{"id":"2102.01490","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.01490","created_at":"2026-07-05T02:11:31Z"},{"alias_kind":"arxiv_version","alias_value":"2102.01490v1","created_at":"2026-07-05T02:11:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.01490","created_at":"2026-07-05T02:11:31Z"},{"alias_kind":"pith_short_12","alias_value":"P5WYQQM4RF6D","created_at":"2026-07-05T02:11:31Z"},{"alias_kind":"pith_short_16","alias_value":"P5WYQQM4RF6D2FPN","created_at":"2026-07-05T02:11:31Z"},{"alias_kind":"pith_short_8","alias_value":"P5WYQQM4","created_at":"2026-07-05T02:11:31Z"}],"graph_snapshots":[{"event_id":"sha256:1a22f3f6b46a40aaaf6158608164674626bf7011435e1308f2ae369b29c302ae","target":"graph","created_at":"2026-07-05T02:11:31Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2102.01490/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC formulae can be used during design, e.g., to analyse the sensitivity of different system architectures to parametric variability, or to find optimal system configurations. They can also be used at runtime, e.g., to check if non-functional requirements are still satisfied after environmental changes, or to select new configurations after such changes. Howeve","authors_text":"Faisal Alhwikem, Radu Calinescu, Simos Gerasimou, Xinwei Fang","cross_cats":["cs.FL","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-02T13:52:52Z","title":"Fast Parametric Model Checking through Model Fragmentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.01490","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:479ca498d84caf971d543a21f4692fac3058745bd2c5d2a7a99a9d9112e1f134","target":"record","created_at":"2026-07-05T02:11:31Z","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":"6cecc254d865dcfa5409c3408e4e60de15ecb81612416fbbd94c0cf5caf5fe7a","cross_cats_sorted":["cs.FL","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-02T13:52:52Z","title_canon_sha256":"ad2a9ec114bf9ab56cdb1278fb752b1eb66873592f1c52a26f668f9b98a78cf0"},"schema_version":"1.0","source":{"id":"2102.01490","kind":"arxiv","version":1}},"canonical_sha256":"7f6d88419c897c3d15ed887b26e5a3902bf989c40b1e1faa7dce61264eb3db7e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f6d88419c897c3d15ed887b26e5a3902bf989c40b1e1faa7dce61264eb3db7e","first_computed_at":"2026-07-05T02:11:31.013798Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:11:31.013798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r/vf/doeh/m0T8EKJIzBzT6euPgkQuMJehBr2KWVRFgXV42RT+wKAHh4/oJtqaY1O9350aBSv1t4/7+uR4CrCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:11:31.014150Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.01490","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:479ca498d84caf971d543a21f4692fac3058745bd2c5d2a7a99a9d9112e1f134","sha256:1a22f3f6b46a40aaaf6158608164674626bf7011435e1308f2ae369b29c302ae"],"state_sha256":"87be5c6f6fbc154b073c26f68793550091c25c7fc75f325b2af4543fa31fb6d9"}