{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:2C26ZZDUEDSGWUC2TUBFBF5HN3","short_pith_number":"pith:2C26ZZDU","canonical_record":{"source":{"id":"2208.12723","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-08-25T09:32:07Z","cross_cats_sorted":[],"title_canon_sha256":"b545465d3a3c6c4ee7c5b5eb87cd7caa904eed171a416733751bb9e04f2b3ea1","abstract_canon_sha256":"a6c9a8f9b7b6e9f90ea55fac5cf26cd56a53345e1fb62c2e0a47fd32add72444"},"schema_version":"1.0"},"canonical_sha256":"d0b5ece47420e46b505a9d025097a76eddc60a00d27d83a2784b361a8c8abb59","source":{"kind":"arxiv","id":"2208.12723","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.12723","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"arxiv_version","alias_value":"2208.12723v2","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.12723","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"pith_short_12","alias_value":"2C26ZZDUEDSG","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"pith_short_16","alias_value":"2C26ZZDUEDSGWUC2","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"pith_short_8","alias_value":"2C26ZZDU","created_at":"2026-07-05T05:09:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:2C26ZZDUEDSGWUC2TUBFBF5HN3","target":"record","payload":{"canonical_record":{"source":{"id":"2208.12723","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-08-25T09:32:07Z","cross_cats_sorted":[],"title_canon_sha256":"b545465d3a3c6c4ee7c5b5eb87cd7caa904eed171a416733751bb9e04f2b3ea1","abstract_canon_sha256":"a6c9a8f9b7b6e9f90ea55fac5cf26cd56a53345e1fb62c2e0a47fd32add72444"},"schema_version":"1.0"},"canonical_sha256":"d0b5ece47420e46b505a9d025097a76eddc60a00d27d83a2784b361a8c8abb59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:09:21.611108Z","signature_b64":"pYjduGsnr5kli32KdNzd9o1zDN7qxDf0DvcM1HZCJpNR5TtwVg3yTEYFKxnAlFmMZE//cU1Tep7dZP8+y2xBCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0b5ece47420e46b505a9d025097a76eddc60a00d27d83a2784b361a8c8abb59","last_reissued_at":"2026-07-05T05:09:21.610771Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:09:21.610771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.12723","source_version":2,"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-07-05T05:09:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vh/r+C2UTFBCqA4P/+rTKJ8UfJV0G++nFjlKnVlOeHxpfu40ufDxpR8npvbbsLq2Vw2vykBCJs/3usd4pZV5DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:35:59.539349Z"},"content_sha256":"9f837eb07cc9f47c3fd9737fe9b1747300c51972c23ebe3551fe90f30a356500","schema_version":"1.0","event_id":"sha256:9f837eb07cc9f47c3fd9737fe9b1747300c51972c23ebe3551fe90f30a356500"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:2C26ZZDUEDSGWUC2TUBFBF5HN3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Software Performability Analysis Using Fast Parametric Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Faisal Alhwikem, Radu Calinescu, Simos Gerasimou, Xinwei Fang","submitted_at":"2022-08-25T09:32:07Z","abstract_excerpt":"We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software systems. The new PMC technique works by automatically decomposing a parametric discrete-time Markov chain (pDTMC) model of the software system under verification into fragments that can be analysed independently, yielding results that are then combined to establish the required software performability properties. Our fast parametric model checking (fPMC) technique enables the formal analysis of software systems modelled"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.12723","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.12723/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T05:09:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C0a17WX6AoUG77Wq6u2gsYmobTCTbMUtVuo55Xec40UfBIsxlwt1UQxZkGvffhWqbMZjW67WXuvUKCzpCg4VBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:35:59.539853Z"},"content_sha256":"9fafef207484abd18d30f4ab594940d1ed0f08e70d1bdfdb2c072b8811c86a76","schema_version":"1.0","event_id":"sha256:9fafef207484abd18d30f4ab594940d1ed0f08e70d1bdfdb2c072b8811c86a76"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3/bundle.json","state_url":"https://pith.science/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3/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-08-04T23:35:59Z","links":{"resolver":"https://pith.science/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3","bundle":"https://pith.science/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3/bundle.json","state":"https://pith.science/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2C26ZZDUEDSGWUC2TUBFBF5HN3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:2C26ZZDUEDSGWUC2TUBFBF5HN3","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":"a6c9a8f9b7b6e9f90ea55fac5cf26cd56a53345e1fb62c2e0a47fd32add72444","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-08-25T09:32:07Z","title_canon_sha256":"b545465d3a3c6c4ee7c5b5eb87cd7caa904eed171a416733751bb9e04f2b3ea1"},"schema_version":"1.0","source":{"id":"2208.12723","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.12723","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"arxiv_version","alias_value":"2208.12723v2","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.12723","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"pith_short_12","alias_value":"2C26ZZDUEDSG","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"pith_short_16","alias_value":"2C26ZZDUEDSGWUC2","created_at":"2026-07-05T05:09:21Z"},{"alias_kind":"pith_short_8","alias_value":"2C26ZZDU","created_at":"2026-07-05T05:09:21Z"}],"graph_snapshots":[{"event_id":"sha256:9fafef207484abd18d30f4ab594940d1ed0f08e70d1bdfdb2c072b8811c86a76","target":"graph","created_at":"2026-07-05T05:09:21Z","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/2208.12723/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software systems. The new PMC technique works by automatically decomposing a parametric discrete-time Markov chain (pDTMC) model of the software system under verification into fragments that can be analysed independently, yielding results that are then combined to establish the required software performability properties. Our fast parametric model checking (fPMC) technique enables the formal analysis of software systems modelled","authors_text":"Faisal Alhwikem, Radu Calinescu, Simos Gerasimou, Xinwei Fang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-08-25T09:32:07Z","title":"Software Performability Analysis Using Fast Parametric Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.12723","kind":"arxiv","version":2},"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:9f837eb07cc9f47c3fd9737fe9b1747300c51972c23ebe3551fe90f30a356500","target":"record","created_at":"2026-07-05T05:09:21Z","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":"a6c9a8f9b7b6e9f90ea55fac5cf26cd56a53345e1fb62c2e0a47fd32add72444","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-08-25T09:32:07Z","title_canon_sha256":"b545465d3a3c6c4ee7c5b5eb87cd7caa904eed171a416733751bb9e04f2b3ea1"},"schema_version":"1.0","source":{"id":"2208.12723","kind":"arxiv","version":2}},"canonical_sha256":"d0b5ece47420e46b505a9d025097a76eddc60a00d27d83a2784b361a8c8abb59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0b5ece47420e46b505a9d025097a76eddc60a00d27d83a2784b361a8c8abb59","first_computed_at":"2026-07-05T05:09:21.610771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:09:21.610771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pYjduGsnr5kli32KdNzd9o1zDN7qxDf0DvcM1HZCJpNR5TtwVg3yTEYFKxnAlFmMZE//cU1Tep7dZP8+y2xBCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:09:21.611108Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.12723","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9f837eb07cc9f47c3fd9737fe9b1747300c51972c23ebe3551fe90f30a356500","sha256:9fafef207484abd18d30f4ab594940d1ed0f08e70d1bdfdb2c072b8811c86a76"],"state_sha256":"ddc78712ac4c0849b0888449e665d48e5b2c1162359957825e32c2b70578b6a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9onZgurTC/phMCSASXi9DFqoCFb+SlEBbIJKMIEb8Gq2ML2tYeokFV6TL/olQmekY9EuOEeaasnQNIppN+cDCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T23:35:59.545389Z","bundle_sha256":"66237523e0da6576fa004cdadeff669d3b22aec693fd3c66e3482b542c8d82ac"}}