{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:BHDSAQVURSZVE6UN7IEC7DT5FL","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":"75375ec8d059e531ca9afde9ced0b4a9bfc34fd15ad7091e97c83a7a5149b324","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-08-29T08:48:23Z","title_canon_sha256":"ec60083094e9025ed7e02f3216dd81304e95aa37aced0c4ced804586420858a9"},"schema_version":"1.0","source":{"id":"2208.13424","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.13424","created_at":"2026-07-05T08:25:47Z"},{"alias_kind":"arxiv_version","alias_value":"2208.13424v2","created_at":"2026-07-05T08:25:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.13424","created_at":"2026-07-05T08:25:47Z"},{"alias_kind":"pith_short_12","alias_value":"BHDSAQVURSZV","created_at":"2026-07-05T08:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"BHDSAQVURSZVE6UN","created_at":"2026-07-05T08:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"BHDSAQVU","created_at":"2026-07-05T08:25:47Z"}],"graph_snapshots":[{"event_id":"sha256:21e844e1228127cbdc909ca1ed2b16c87720c9f3611f66f2b06a0561e2d4e2d2","target":"graph","created_at":"2026-07-05T08:25:47Z","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.13424/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the Nuclear Regulatory Commission, in the ISO26262 standard for autonomous driving and for software development in aerospace systems. Although popular both in industry and academia, FTs lack a systematic way to formulate powerful and understandable analysis queries. In this paper, we aim to fill this gap and introduce Boolean Fault tree Logic (BFL), a logic to reason","authors_text":"E. Moritz Hahn, Marielle Stoelinga, Stefano M. Nicoletti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-08-29T08:48:23Z","title":"BFL: a Logic to Reason about Fault Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.13424","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:7e90745416a9970cc903f5d399870e25c950a49c191a8f6f27fe0fdfbf574574","target":"record","created_at":"2026-07-05T08:25:47Z","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":"75375ec8d059e531ca9afde9ced0b4a9bfc34fd15ad7091e97c83a7a5149b324","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-08-29T08:48:23Z","title_canon_sha256":"ec60083094e9025ed7e02f3216dd81304e95aa37aced0c4ced804586420858a9"},"schema_version":"1.0","source":{"id":"2208.13424","kind":"arxiv","version":2}},"canonical_sha256":"09c72042b48cb3527a8dfa082f8e7d2adc6f3a6d3c94a615539945e519238509","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09c72042b48cb3527a8dfa082f8e7d2adc6f3a6d3c94a615539945e519238509","first_computed_at":"2026-07-05T08:25:47.561147Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:25:47.561147Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3/TH03MtAR0znztrIfLOSG6aBvjBTRpq1jRmT9W6TjUR3rnBXJZr8Z73dCTTlADVDzjEbCxVbo3Jg0Y6d1KRCg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:25:47.561574Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.13424","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e90745416a9970cc903f5d399870e25c950a49c191a8f6f27fe0fdfbf574574","sha256:21e844e1228127cbdc909ca1ed2b16c87720c9f3611f66f2b06a0561e2d4e2d2"],"state_sha256":"a28157a633021baf4761e1d79b7f96d1b5838e27308b3584cd269011db9ad70f"}