{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:DVVWTXFXSBDLZGCB3PVZ73Y7Q4","short_pith_number":"pith:DVVWTXFX","canonical_record":{"source":{"id":"2002.07279","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T22:09:02Z","cross_cats_sorted":[],"title_canon_sha256":"cf190f31395a8027d941df8ef026acd8f87552dc4f9dab6ec5c485e629be7537","abstract_canon_sha256":"2e8351111a6b9e877476f0792ea95e4690c27aa7d9018a200ea71b566354f984"},"schema_version":"1.0"},"canonical_sha256":"1d6b69dcb79046bc9841dbeb9fef1f87391e67ffcca0c7386729431c8748965e","source":{"kind":"arxiv","id":"2002.07279","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.07279","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"arxiv_version","alias_value":"2002.07279v3","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.07279","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"pith_short_12","alias_value":"DVVWTXFXSBDL","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"pith_short_16","alias_value":"DVVWTXFXSBDLZGCB","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"pith_short_8","alias_value":"DVVWTXFX","created_at":"2026-07-05T07:44:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:DVVWTXFXSBDLZGCB3PVZ73Y7Q4","target":"record","payload":{"canonical_record":{"source":{"id":"2002.07279","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T22:09:02Z","cross_cats_sorted":[],"title_canon_sha256":"cf190f31395a8027d941df8ef026acd8f87552dc4f9dab6ec5c485e629be7537","abstract_canon_sha256":"2e8351111a6b9e877476f0792ea95e4690c27aa7d9018a200ea71b566354f984"},"schema_version":"1.0"},"canonical_sha256":"1d6b69dcb79046bc9841dbeb9fef1f87391e67ffcca0c7386729431c8748965e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:44:14.934723Z","signature_b64":"aQb4QHiko6FEsuxHehX+ADg0Ds5F9jJBhGBB9VAxI96YcveDN0yAEomf6nchQfTJ6N0Ks2XZstagRmm3mdtUBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d6b69dcb79046bc9841dbeb9fef1f87391e67ffcca0c7386729431c8748965e","last_reissued_at":"2026-07-05T07:44:14.933960Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:44:14.933960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2002.07279","source_version":3,"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-05T07:44:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFdNqe5ZR/mwJ1yGYK7VhG88mDWhsTm5CWT+nIil/7FDsgTnkUGIhmiwd+iOzCada+PMSULF/+TpNL+4teyfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:01:17.679097Z"},"content_sha256":"beb00c83db8d334e370036a9b3cd09076ed1d93b57595139cc1d8ff1b9c72040","schema_version":"1.0","event_id":"sha256:beb00c83db8d334e370036a9b3cd09076ed1d93b57595139cc1d8ff1b9c72040"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:DVVWTXFXSBDLZGCB3PVZ73Y7Q4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Methods: From Academia to Industrial Practice. A Travel Guide","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Malkis, Dilian Gurov, Marieke Huisman","submitted_at":"2020-02-17T22:09:02Z","abstract_excerpt":"For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief and many individual success stories, no real change in industrial software development seems to be occurring. In fact, the software industry itself is moving forward rapidly, and the gap between what formal methods can achieve and the daily software-development practice does not appear to be getting smaller (and might even be growing).\n  In the past, many recommendations have already been made on how to develop f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.07279","kind":"arxiv","version":3},"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/2002.07279/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-05T07:44:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wv4MiHYv0q6xjHhRSRYsBHXIXxLOX5pWFSCNurY9H/tvT8VEv5VEhtAg58Bya2dVC7ZwTDLbXt4uM6TXbWWPBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:01:17.679615Z"},"content_sha256":"b6ac84f1961d4814c350be423959ce3564d7a7ab8b1e777da190bfc82a3609e7","schema_version":"1.0","event_id":"sha256:b6ac84f1961d4814c350be423959ce3564d7a7ab8b1e777da190bfc82a3609e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4/bundle.json","state_url":"https://pith.science/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4/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-09T03:01:17Z","links":{"resolver":"https://pith.science/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4","bundle":"https://pith.science/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4/bundle.json","state":"https://pith.science/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DVVWTXFXSBDLZGCB3PVZ73Y7Q4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:DVVWTXFXSBDLZGCB3PVZ73Y7Q4","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":"2e8351111a6b9e877476f0792ea95e4690c27aa7d9018a200ea71b566354f984","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T22:09:02Z","title_canon_sha256":"cf190f31395a8027d941df8ef026acd8f87552dc4f9dab6ec5c485e629be7537"},"schema_version":"1.0","source":{"id":"2002.07279","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.07279","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"arxiv_version","alias_value":"2002.07279v3","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.07279","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"pith_short_12","alias_value":"DVVWTXFXSBDL","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"pith_short_16","alias_value":"DVVWTXFXSBDLZGCB","created_at":"2026-07-05T07:44:14Z"},{"alias_kind":"pith_short_8","alias_value":"DVVWTXFX","created_at":"2026-07-05T07:44:14Z"}],"graph_snapshots":[{"event_id":"sha256:b6ac84f1961d4814c350be423959ce3564d7a7ab8b1e777da190bfc82a3609e7","target":"graph","created_at":"2026-07-05T07:44:14Z","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/2002.07279/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief and many individual success stories, no real change in industrial software development seems to be occurring. In fact, the software industry itself is moving forward rapidly, and the gap between what formal methods can achieve and the daily software-development practice does not appear to be getting smaller (and might even be growing).\n  In the past, many recommendations have already been made on how to develop f","authors_text":"Alexander Malkis, Dilian Gurov, Marieke Huisman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T22:09:02Z","title":"Formal Methods: From Academia to Industrial Practice. A Travel Guide"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.07279","kind":"arxiv","version":3},"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:beb00c83db8d334e370036a9b3cd09076ed1d93b57595139cc1d8ff1b9c72040","target":"record","created_at":"2026-07-05T07:44:14Z","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":"2e8351111a6b9e877476f0792ea95e4690c27aa7d9018a200ea71b566354f984","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-02-17T22:09:02Z","title_canon_sha256":"cf190f31395a8027d941df8ef026acd8f87552dc4f9dab6ec5c485e629be7537"},"schema_version":"1.0","source":{"id":"2002.07279","kind":"arxiv","version":3}},"canonical_sha256":"1d6b69dcb79046bc9841dbeb9fef1f87391e67ffcca0c7386729431c8748965e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d6b69dcb79046bc9841dbeb9fef1f87391e67ffcca0c7386729431c8748965e","first_computed_at":"2026-07-05T07:44:14.933960Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:44:14.933960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aQb4QHiko6FEsuxHehX+ADg0Ds5F9jJBhGBB9VAxI96YcveDN0yAEomf6nchQfTJ6N0Ks2XZstagRmm3mdtUBw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:44:14.934723Z","signed_message":"canonical_sha256_bytes"},"source_id":"2002.07279","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:beb00c83db8d334e370036a9b3cd09076ed1d93b57595139cc1d8ff1b9c72040","sha256:b6ac84f1961d4814c350be423959ce3564d7a7ab8b1e777da190bfc82a3609e7"],"state_sha256":"96248a7681e11bef4b11a04edae195778c74e34be1baa81db5336d0c954f5da9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D779Komm0mYyho0omqPzxOcP1DJeh7UOvar4181OFijBPXye7svWxiiI+OLnUpHM/qmxP+fTzak7SNelgJTDDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T03:01:17.686518Z","bundle_sha256":"a31a3b66b01bb8f3a424bb4669d450caedbb09619b3c85da9712921d154e00c5"}}