{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:K22XHAINMCXW3GL3WZPG6CFXU6","short_pith_number":"pith:K22XHAIN","canonical_record":{"source":{"id":"2108.05556","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-08-12T06:36:37Z","cross_cats_sorted":[],"title_canon_sha256":"748a32fa73313c19f7ced090af7eefbb047249119a1fdd52c284c86b39dceeb9","abstract_canon_sha256":"9de817f546c9c66a2ee0f7fbfce88a819d3dd0c7f5ae2114dca719a3655073af"},"schema_version":"1.0"},"canonical_sha256":"56b573810d60af6d997bb65e6f08b7a79dd881aa3404c52cb32970033451730f","source":{"kind":"arxiv","id":"2108.05556","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.05556","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2108.05556v1","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.05556","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"K22XHAINMCXW","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"K22XHAINMCXW3GL3","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"K22XHAIN","created_at":"2026-07-05T03:05:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:K22XHAINMCXW3GL3WZPG6CFXU6","target":"record","payload":{"canonical_record":{"source":{"id":"2108.05556","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-08-12T06:36:37Z","cross_cats_sorted":[],"title_canon_sha256":"748a32fa73313c19f7ced090af7eefbb047249119a1fdd52c284c86b39dceeb9","abstract_canon_sha256":"9de817f546c9c66a2ee0f7fbfce88a819d3dd0c7f5ae2114dca719a3655073af"},"schema_version":"1.0"},"canonical_sha256":"56b573810d60af6d997bb65e6f08b7a79dd881aa3404c52cb32970033451730f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:05:15.510959Z","signature_b64":"5xxezwvsDcofQIA0+3pVp5npNPgk+jW9Sp9IWNMiaKUjXB4lVO0zyt3kCkJySFiQXHKNu+R35xk+WnMbo77qBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56b573810d60af6d997bb65e6f08b7a79dd881aa3404c52cb32970033451730f","last_reissued_at":"2026-07-05T03:05:15.510533Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:05:15.510533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2108.05556","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-07-05T03:05:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jVpzGsWYr2QGrUBbC7vR+pjPEvnC6rzPDNsuz2cgDpD/NmCPk9Z5uTiPzpJdD9lie7qAVg4ryyurl9103hbRBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:42:59.640097Z"},"content_sha256":"abf2bde8ba8769bb07ae1343c63772f00f56c2fedb5844a89ebff227f7afcf24","schema_version":"1.0","event_id":"sha256:abf2bde8ba8769bb07ae1343c63772f00f56c2fedb5844a89ebff227f7afcf24"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:K22XHAINMCXW3GL3WZPG6CFXU6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Luis Gomes, Roopak Sinha, Sandeep Patil, Valeriy Vyatkin","submitted_at":"2021-08-12T06:36:37Z","abstract_excerpt":"Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable IAS, focusing on sta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.05556","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2108.05556/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T03:05:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7QuDXy+yeNB6UpFgEBbvcfSHEGpuWcL+icN+/3fsXliiCUBo5tMh5Kw79IxjmSLIhE4QFvdnI7egfA5bLpWjCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:42:59.641068Z"},"content_sha256":"5108b3ef7a25d25fdcd6d0038c450ab133bcd1d579749bac10189568efc2f016","schema_version":"1.0","event_id":"sha256:5108b3ef7a25d25fdcd6d0038c450ab133bcd1d579749bac10189568efc2f016"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K22XHAINMCXW3GL3WZPG6CFXU6/bundle.json","state_url":"https://pith.science/pith/K22XHAINMCXW3GL3WZPG6CFXU6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K22XHAINMCXW3GL3WZPG6CFXU6/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-08-20T14:42:59Z","links":{"resolver":"https://pith.science/pith/K22XHAINMCXW3GL3WZPG6CFXU6","bundle":"https://pith.science/pith/K22XHAINMCXW3GL3WZPG6CFXU6/bundle.json","state":"https://pith.science/pith/K22XHAINMCXW3GL3WZPG6CFXU6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K22XHAINMCXW3GL3WZPG6CFXU6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:K22XHAINMCXW3GL3WZPG6CFXU6","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":"9de817f546c9c66a2ee0f7fbfce88a819d3dd0c7f5ae2114dca719a3655073af","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-08-12T06:36:37Z","title_canon_sha256":"748a32fa73313c19f7ced090af7eefbb047249119a1fdd52c284c86b39dceeb9"},"schema_version":"1.0","source":{"id":"2108.05556","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.05556","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2108.05556v1","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.05556","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"K22XHAINMCXW","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"K22XHAINMCXW3GL3","created_at":"2026-07-05T03:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"K22XHAIN","created_at":"2026-07-05T03:05:15Z"}],"graph_snapshots":[{"event_id":"sha256:5108b3ef7a25d25fdcd6d0038c450ab133bcd1d579749bac10189568efc2f016","target":"graph","created_at":"2026-07-05T03:05:15Z","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/2108.05556/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable IAS, focusing on sta","authors_text":"Luis Gomes, Roopak Sinha, Sandeep Patil, Valeriy Vyatkin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-08-12T06:36:37Z","title":"A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.05556","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:abf2bde8ba8769bb07ae1343c63772f00f56c2fedb5844a89ebff227f7afcf24","target":"record","created_at":"2026-07-05T03:05:15Z","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":"9de817f546c9c66a2ee0f7fbfce88a819d3dd0c7f5ae2114dca719a3655073af","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-08-12T06:36:37Z","title_canon_sha256":"748a32fa73313c19f7ced090af7eefbb047249119a1fdd52c284c86b39dceeb9"},"schema_version":"1.0","source":{"id":"2108.05556","kind":"arxiv","version":1}},"canonical_sha256":"56b573810d60af6d997bb65e6f08b7a79dd881aa3404c52cb32970033451730f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56b573810d60af6d997bb65e6f08b7a79dd881aa3404c52cb32970033451730f","first_computed_at":"2026-07-05T03:05:15.510533Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:05:15.510533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5xxezwvsDcofQIA0+3pVp5npNPgk+jW9Sp9IWNMiaKUjXB4lVO0zyt3kCkJySFiQXHKNu+R35xk+WnMbo77qBw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:05:15.510959Z","signed_message":"canonical_sha256_bytes"},"source_id":"2108.05556","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:abf2bde8ba8769bb07ae1343c63772f00f56c2fedb5844a89ebff227f7afcf24","sha256:5108b3ef7a25d25fdcd6d0038c450ab133bcd1d579749bac10189568efc2f016"],"state_sha256":"749349e94eb98bdacf5aa42577ab951830b89f1b06f2c723f85e43d7321721df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r+IxldCymhQxexqKNXfULt7zVJtdEnZ/qB2fYlEljZCGGIxCjx9VBKyVqOw6X9+7uCNRAVEHEvifRvUuP6iyBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T14:42:59.649749Z","bundle_sha256":"1db8ccf0d977ed314e14f7ecd65b3df61f2c2aecd85785866ac350e24279ddda"}}