{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JUVL2D2DOVTLY7U5J4IKKUKT7U","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":"629d6216d14918456375d530e139921d0a69037de3be6ab10e35311e6f443e66","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-22T10:19:06Z","title_canon_sha256":"95a24cb08ce03557d6b0aae11f6e301a213ea5d276a901dcdf4fd295fc55a3f4"},"schema_version":"1.0","source":{"id":"1606.06877","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06877","created_at":"2026-05-18T01:12:00Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06877v1","created_at":"2026-05-18T01:12:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06877","created_at":"2026-05-18T01:12:00Z"},{"alias_kind":"pith_short_12","alias_value":"JUVL2D2DOVTL","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JUVL2D2DOVTLY7U5","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JUVL2D2D","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:565dd240cf762f38ea18cd17c8c1f39b49d2713c4bc2a8e11a5385698635b337","target":"graph","created_at":"2026-05-18T01:12:00Z","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 is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity. Various dependability modeling techniques have been developed to effectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paper-and-pencil proof methods and computer based simulation tools but their results cannot be trusted due to their inherent inaccuracy limitations. The recent developments in probabilistic analysis support using formal methods h","authors_text":"Osman Hasan, Sofiene Tahar, Waqar Ahmed","cross_cats":["cs.LO","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-22T10:19:06Z","title":"Formal Dependability Modeling and Analysis: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06877","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:a40d1bc3bbfbde131ed8371d6a0c4cbd0ae8053aa8e0734c6248138954692662","target":"record","created_at":"2026-05-18T01:12:00Z","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":"629d6216d14918456375d530e139921d0a69037de3be6ab10e35311e6f443e66","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-22T10:19:06Z","title_canon_sha256":"95a24cb08ce03557d6b0aae11f6e301a213ea5d276a901dcdf4fd295fc55a3f4"},"schema_version":"1.0","source":{"id":"1606.06877","kind":"arxiv","version":1}},"canonical_sha256":"4d2abd0f437566bc7e9d4f10a55153fd1aefb76f1e61cc4c8819ae736d453381","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d2abd0f437566bc7e9d4f10a55153fd1aefb76f1e61cc4c8819ae736d453381","first_computed_at":"2026-05-18T01:12:00.966310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:00.966310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DlK1sUcuAhJpNLfNqAGyiHEG/PtQlmAQwj+tci7vlUQjmzAAdRvfvR+FKFp9dj79QbBLwt6c3DjxxN1u/4JuBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:00.966649Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.06877","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a40d1bc3bbfbde131ed8371d6a0c4cbd0ae8053aa8e0734c6248138954692662","sha256:565dd240cf762f38ea18cd17c8c1f39b49d2713c4bc2a8e11a5385698635b337"],"state_sha256":"bccd348f0bbfa5692f639adaeea710cbe4429f3a6d58aa2a565810c8ed2b0aeb"}