{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:JUVL2D2DOVTLY7U5J4IKKUKT7U","short_pith_number":"pith:JUVL2D2D","schema_version":"1.0","canonical_sha256":"4d2abd0f437566bc7e9d4f10a55153fd1aefb76f1e61cc4c8819ae736d453381","source":{"kind":"arxiv","id":"1606.06877","version":1},"attestation_state":"computed","paper":{"title":"Formal Dependability Modeling and Analysis: A Survey","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"cs.SE","authors_text":"Osman Hasan, Sofiene Tahar, Waqar Ahmed","submitted_at":"2016-06-22T10:19:06Z","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"},"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":"1606.06877","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-22T10:19:06Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"95a24cb08ce03557d6b0aae11f6e301a213ea5d276a901dcdf4fd295fc55a3f4","abstract_canon_sha256":"629d6216d14918456375d530e139921d0a69037de3be6ab10e35311e6f443e66"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:00.966649Z","signature_b64":"DlK1sUcuAhJpNLfNqAGyiHEG/PtQlmAQwj+tci7vlUQjmzAAdRvfvR+FKFp9dj79QbBLwt6c3DjxxN1u/4JuBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d2abd0f437566bc7e9d4f10a55153fd1aefb76f1e61cc4c8819ae736d453381","last_reissued_at":"2026-05-18T01:12:00.966310Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:00.966310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Dependability Modeling and Analysis: A Survey","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"cs.SE","authors_text":"Osman Hasan, Sofiene Tahar, Waqar Ahmed","submitted_at":"2016-06-22T10:19:06Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06877","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":"1606.06877","created_at":"2026-05-18T01:12:00.966375+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.06877v1","created_at":"2026-05-18T01:12:00.966375+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06877","created_at":"2026-05-18T01:12:00.966375+00:00"},{"alias_kind":"pith_short_12","alias_value":"JUVL2D2DOVTL","created_at":"2026-05-18T12:30:25.849896+00:00"},{"alias_kind":"pith_short_16","alias_value":"JUVL2D2DOVTLY7U5","created_at":"2026-05-18T12:30:25.849896+00:00"},{"alias_kind":"pith_short_8","alias_value":"JUVL2D2D","created_at":"2026-05-18T12:30:25.849896+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/JUVL2D2DOVTLY7U5J4IKKUKT7U","json":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U.json","graph_json":"https://pith.science/api/pith-number/JUVL2D2DOVTLY7U5J4IKKUKT7U/graph.json","events_json":"https://pith.science/api/pith-number/JUVL2D2DOVTLY7U5J4IKKUKT7U/events.json","paper":"https://pith.science/paper/JUVL2D2D"},"agent_actions":{"view_html":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U","download_json":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U.json","view_paper":"https://pith.science/paper/JUVL2D2D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.06877&json=true","fetch_graph":"https://pith.science/api/pith-number/JUVL2D2DOVTLY7U5J4IKKUKT7U/graph.json","fetch_events":"https://pith.science/api/pith-number/JUVL2D2DOVTLY7U5J4IKKUKT7U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U/action/storage_attestation","attest_author":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U/action/author_attestation","sign_citation":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U/action/citation_signature","submit_replication":"https://pith.science/pith/JUVL2D2DOVTLY7U5J4IKKUKT7U/action/replication_record"}},"created_at":"2026-05-18T01:12:00.966375+00:00","updated_at":"2026-05-18T01:12:00.966375+00:00"}