{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:CYQMIMMPFB3JSFIIBPIHLHUJYQ","short_pith_number":"pith:CYQMIMMP","canonical_record":{"source":{"id":"1212.2446","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:55Z","cross_cats_sorted":[],"title_canon_sha256":"7ca9ff08f505546423615525cfb1d0dd2c54ff8e2346b095bae9c6c3d8f9fbd6","abstract_canon_sha256":"5989a7cadc4dd55cf5bedfe8ccd479e7f989cafab41bf983e0a669edafb200e4"},"schema_version":"1.0"},"canonical_sha256":"1620c4318f28769915080bd0759e89c4095aef9a67dfb4a081fad52cd654f93c","source":{"kind":"arxiv","id":"1212.2446","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2446","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2446v1","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2446","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"CYQMIMMPFB3J","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"CYQMIMMPFB3JSFII","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"CYQMIMMP","created_at":"2026-05-18T12:27:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:CYQMIMMPFB3JSFIIBPIHLHUJYQ","target":"record","payload":{"canonical_record":{"source":{"id":"1212.2446","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:55Z","cross_cats_sorted":[],"title_canon_sha256":"7ca9ff08f505546423615525cfb1d0dd2c54ff8e2346b095bae9c6c3d8f9fbd6","abstract_canon_sha256":"5989a7cadc4dd55cf5bedfe8ccd479e7f989cafab41bf983e0a669edafb200e4"},"schema_version":"1.0"},"canonical_sha256":"1620c4318f28769915080bd0759e89c4095aef9a67dfb4a081fad52cd654f93c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:38:44.902222Z","signature_b64":"V7rvB8A+g48/OOQ+BQTgys55txnoOlj5abf0CqQk/aWFxvZIY3/SY+x+mgo7dk/FPCzOzbrYg5s2qev20ohOBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1620c4318f28769915080bd0759e89c4095aef9a67dfb4a081fad52cd654f93c","last_reissued_at":"2026-05-18T03:38:44.901745Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:38:44.901745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.2446","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:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qf571XVy15OeShHqRsNyuWrnogmsem4tCt26mY4sSwMLJJZBgsvzytlc5SLKCDm5zD4ygG0YcP67OH9d0e5XAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T21:43:08.872310Z"},"content_sha256":"88678fa7ef36ed49960d64a14292985411477c62f5b4ae5fd6e13bb8f7611ea7","schema_version":"1.0","event_id":"sha256:88678fa7ef36ed49960d64a14292985411477c62f5b4ae5fd6e13bb8f7611ea7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:CYQMIMMPFB3JSFIIBPIHLHUJYQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric Dependability Analysis through Probabilistic Horn Abduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andrea Bobbio, Luigi Portinale, Stefania Montani","submitted_at":"2012-10-19T15:03:55Z","abstract_excerpt":"Dependability modeling and evaluation is aimed at investigating that a system     performs its function correctly in time. A usual way to achieve a high     reliability, is to design redundant systems that contain several replicas of     the same subsystem or component. State space methods for dependability analysis     may suffer of the state space explosion problem in such a kind of situation.     Combinatorial models, on the other hand, require the simplified assumption of     statistical independence; however, in case of redundant systems, this does not     guarantee a reduced number of mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2446","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:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J5m62NIBYQfsCwZE8S0KGZqWWlkqJ+y8+eeuCfqCJ7mgfXFfuCfz/3uKNKY/Ypvr7zRvo7XF+2FSdOSmhqkSAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T21:43:08.872663Z"},"content_sha256":"34da7731059b7a7bcc6301409cc92d77a490373f7e0d7207418750b312e63175","schema_version":"1.0","event_id":"sha256:34da7731059b7a7bcc6301409cc92d77a490373f7e0d7207418750b312e63175"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ/bundle.json","state_url":"https://pith.science/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ/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-28T21:43:08Z","links":{"resolver":"https://pith.science/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ","bundle":"https://pith.science/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ/bundle.json","state":"https://pith.science/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CYQMIMMPFB3JSFIIBPIHLHUJYQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:CYQMIMMPFB3JSFIIBPIHLHUJYQ","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":"5989a7cadc4dd55cf5bedfe8ccd479e7f989cafab41bf983e0a669edafb200e4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:55Z","title_canon_sha256":"7ca9ff08f505546423615525cfb1d0dd2c54ff8e2346b095bae9c6c3d8f9fbd6"},"schema_version":"1.0","source":{"id":"1212.2446","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2446","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2446v1","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2446","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"CYQMIMMPFB3J","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"CYQMIMMPFB3JSFII","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"CYQMIMMP","created_at":"2026-05-18T12:27:01Z"}],"graph_snapshots":[{"event_id":"sha256:34da7731059b7a7bcc6301409cc92d77a490373f7e0d7207418750b312e63175","target":"graph","created_at":"2026-05-18T03:38:44Z","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":"Dependability modeling and evaluation is aimed at investigating that a system     performs its function correctly in time. A usual way to achieve a high     reliability, is to design redundant systems that contain several replicas of     the same subsystem or component. State space methods for dependability analysis     may suffer of the state space explosion problem in such a kind of situation.     Combinatorial models, on the other hand, require the simplified assumption of     statistical independence; however, in case of redundant systems, this does not     guarantee a reduced number of mo","authors_text":"Andrea Bobbio, Luigi Portinale, Stefania Montani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:55Z","title":"Parametric Dependability Analysis through Probabilistic Horn Abduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2446","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:88678fa7ef36ed49960d64a14292985411477c62f5b4ae5fd6e13bb8f7611ea7","target":"record","created_at":"2026-05-18T03:38:44Z","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":"5989a7cadc4dd55cf5bedfe8ccd479e7f989cafab41bf983e0a669edafb200e4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:55Z","title_canon_sha256":"7ca9ff08f505546423615525cfb1d0dd2c54ff8e2346b095bae9c6c3d8f9fbd6"},"schema_version":"1.0","source":{"id":"1212.2446","kind":"arxiv","version":1}},"canonical_sha256":"1620c4318f28769915080bd0759e89c4095aef9a67dfb4a081fad52cd654f93c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1620c4318f28769915080bd0759e89c4095aef9a67dfb4a081fad52cd654f93c","first_computed_at":"2026-05-18T03:38:44.901745Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:44.901745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V7rvB8A+g48/OOQ+BQTgys55txnoOlj5abf0CqQk/aWFxvZIY3/SY+x+mgo7dk/FPCzOzbrYg5s2qev20ohOBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:44.902222Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.2446","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88678fa7ef36ed49960d64a14292985411477c62f5b4ae5fd6e13bb8f7611ea7","sha256:34da7731059b7a7bcc6301409cc92d77a490373f7e0d7207418750b312e63175"],"state_sha256":"b1083c9aed43074f56b4ccf1955a2645892bd9b4905f2bd0ae59d826526c9414"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xCvDa/mth+ztMLvHBynxNaOz5ZgDvQ3zq3ECxXWhWVgXjy+ha06cAAlzKf/eW4TigIlNIqUsVjxOWZz75zQxBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T21:43:08.874587Z","bundle_sha256":"81f471a02d98a88a246d59b975869b3540021cb2f1af75bcf8ff77ff2df44aa9"}}