{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:BFRBQLYFH7NBIKUPNH6ASNZLBP","short_pith_number":"pith:BFRBQLYF","canonical_record":{"source":{"id":"1504.07513","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:53:01Z","cross_cats_sorted":[],"title_canon_sha256":"407e9706f2f46fb65ec33c188eef91237c8e6234597651f1b84ddd0fb5e11038","abstract_canon_sha256":"27bd91149ef0c61f09a5a50e2c8bc869ae476a8a96b53e93a6607a1507bd0940"},"schema_version":"1.0"},"canonical_sha256":"0962182f053fda142a8f69fc09372b0bec904e966ec63da3c49a1927dbbdfa37","source":{"kind":"arxiv","id":"1504.07513","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07513","created_at":"2026-05-18T02:17:32Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07513v2","created_at":"2026-05-18T02:17:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07513","created_at":"2026-05-18T02:17:32Z"},{"alias_kind":"pith_short_12","alias_value":"BFRBQLYFH7NB","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BFRBQLYFH7NBIKUP","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BFRBQLYF","created_at":"2026-05-18T12:29:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:BFRBQLYFH7NBIKUPNH6ASNZLBP","target":"record","payload":{"canonical_record":{"source":{"id":"1504.07513","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:53:01Z","cross_cats_sorted":[],"title_canon_sha256":"407e9706f2f46fb65ec33c188eef91237c8e6234597651f1b84ddd0fb5e11038","abstract_canon_sha256":"27bd91149ef0c61f09a5a50e2c8bc869ae476a8a96b53e93a6607a1507bd0940"},"schema_version":"1.0"},"canonical_sha256":"0962182f053fda142a8f69fc09372b0bec904e966ec63da3c49a1927dbbdfa37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:32.752699Z","signature_b64":"G3lSbX1AYWq/ebv6FPK2pTEEexpFVt/HfYCb6nHTxDOT7Sortbmjrxhsu3B9adX7zbtNJ6uOBGc2QX7tZrW+Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0962182f053fda142a8f69fc09372b0bec904e966ec63da3c49a1927dbbdfa37","last_reissued_at":"2026-05-18T02:17:32.751767Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:32.751767Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.07513","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-05-18T02:17:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"enkNu4h0O2g/M8Mmfm8tU/9s3h2Zm66ntyNg+LUKVEFcaVCFGk1l9YfAxcRf0sKTmDxwwN98uEIp68a4mghzDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T19:59:37.547483Z"},"content_sha256":"676d419e7cf48a98b2ab70c00fa07d98b28294da6b446336d42e22c8eda1c9b6","schema_version":"1.0","event_id":"sha256:676d419e7cf48a98b2ab70c00fa07d98b28294da6b446336d42e22c8eda1c9b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:BFRBQLYFH7NBIKUPNH6ASNZLBP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The xSAP Safety Analysis Platform","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alberto Griggio, Alessandro Cimatti, Andrea Micheli, Benjamin Bittner, Cristian Mattarei, Gianni Zampedri, Marco Bozzano, Marco Gario, Roberto Cavada","submitted_at":"2015-04-28T14:53:01Z","abstract_excerpt":"This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees (DFTs) and Failure Mode and Effects Analysis (FMEA) tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs (TFPGs), and Common Cause Analysis (CCA). xSAP has been "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07513","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":""},"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-18T02:17:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"erAUEixE+2Hf4xNxa6MO8luZ2EeCa6HgqcuWQ6HQy5c2RKh3PUnci4gb+UO2JvuRtLiIaK/UlUsTC3Cms5m8CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T19:59:37.548057Z"},"content_sha256":"9ffb53ce28ee203ab057f2226df745aceff444d0f87861a4dc4828f673ae8f0b","schema_version":"1.0","event_id":"sha256:9ffb53ce28ee203ab057f2226df745aceff444d0f87861a4dc4828f673ae8f0b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP/bundle.json","state_url":"https://pith.science/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP/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-05-29T19:59:37Z","links":{"resolver":"https://pith.science/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP","bundle":"https://pith.science/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP/bundle.json","state":"https://pith.science/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BFRBQLYFH7NBIKUPNH6ASNZLBP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:BFRBQLYFH7NBIKUPNH6ASNZLBP","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":"27bd91149ef0c61f09a5a50e2c8bc869ae476a8a96b53e93a6607a1507bd0940","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:53:01Z","title_canon_sha256":"407e9706f2f46fb65ec33c188eef91237c8e6234597651f1b84ddd0fb5e11038"},"schema_version":"1.0","source":{"id":"1504.07513","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07513","created_at":"2026-05-18T02:17:32Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07513v2","created_at":"2026-05-18T02:17:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07513","created_at":"2026-05-18T02:17:32Z"},{"alias_kind":"pith_short_12","alias_value":"BFRBQLYFH7NB","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BFRBQLYFH7NBIKUP","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BFRBQLYF","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:9ffb53ce28ee203ab057f2226df745aceff444d0f87861a4dc4828f673ae8f0b","target":"graph","created_at":"2026-05-18T02:17:32Z","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":"This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees (DFTs) and Failure Mode and Effects Analysis (FMEA) tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs (TFPGs), and Common Cause Analysis (CCA). xSAP has been ","authors_text":"Alberto Griggio, Alessandro Cimatti, Andrea Micheli, Benjamin Bittner, Cristian Mattarei, Gianni Zampedri, Marco Bozzano, Marco Gario, Roberto Cavada","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:53:01Z","title":"The xSAP Safety Analysis Platform"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07513","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:676d419e7cf48a98b2ab70c00fa07d98b28294da6b446336d42e22c8eda1c9b6","target":"record","created_at":"2026-05-18T02:17:32Z","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":"27bd91149ef0c61f09a5a50e2c8bc869ae476a8a96b53e93a6607a1507bd0940","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-28T14:53:01Z","title_canon_sha256":"407e9706f2f46fb65ec33c188eef91237c8e6234597651f1b84ddd0fb5e11038"},"schema_version":"1.0","source":{"id":"1504.07513","kind":"arxiv","version":2}},"canonical_sha256":"0962182f053fda142a8f69fc09372b0bec904e966ec63da3c49a1927dbbdfa37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0962182f053fda142a8f69fc09372b0bec904e966ec63da3c49a1927dbbdfa37","first_computed_at":"2026-05-18T02:17:32.751767Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:17:32.751767Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G3lSbX1AYWq/ebv6FPK2pTEEexpFVt/HfYCb6nHTxDOT7Sortbmjrxhsu3B9adX7zbtNJ6uOBGc2QX7tZrW+Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:17:32.752699Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07513","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:676d419e7cf48a98b2ab70c00fa07d98b28294da6b446336d42e22c8eda1c9b6","sha256:9ffb53ce28ee203ab057f2226df745aceff444d0f87861a4dc4828f673ae8f0b"],"state_sha256":"508ef7aab54c2f110681e1c0243692d6928c7e57e52c95595fae435361f7f5d7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C+17xUVR67cFhKfcaG/nhBltw34U/sB4LAdpwFFkxb2dYjJ4kiR6+zdbiZGIpHFml2JoVdsJeUyaj6+WZ268Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T19:59:37.550500Z","bundle_sha256":"a4a4598a17f84d553f6263a8ae663a1e048e76de0a4874bec7872911e3ae1c6e"}}