{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:P276MHHEURV2IHGRDG4CHZM7AN","short_pith_number":"pith:P276MHHE","canonical_record":{"source":{"id":"1208.3337","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-08-16T10:37:21Z","cross_cats_sorted":[],"title_canon_sha256":"caffdef7a6838f99231f708b60a67b767a4277263cb2e41c1c2a32365ae83ca2","abstract_canon_sha256":"a09c2d8f9327f19825bb23519860c67a1d5bec61f39593a9a7b05ed264cc2a0f"},"schema_version":"1.0"},"canonical_sha256":"7ebfe61ce4a46ba41cd119b823e59f034d5af5a26f4585cde1afcd1a29626845","source":{"kind":"arxiv","id":"1208.3337","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.3337","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"arxiv_version","alias_value":"1208.3337v4","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.3337","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"pith_short_12","alias_value":"P276MHHEURV2","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"P276MHHEURV2IHGR","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"P276MHHE","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:P276MHHEURV2IHGRDG4CHZM7AN","target":"record","payload":{"canonical_record":{"source":{"id":"1208.3337","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-08-16T10:37:21Z","cross_cats_sorted":[],"title_canon_sha256":"caffdef7a6838f99231f708b60a67b767a4277263cb2e41c1c2a32365ae83ca2","abstract_canon_sha256":"a09c2d8f9327f19825bb23519860c67a1d5bec61f39593a9a7b05ed264cc2a0f"},"schema_version":"1.0"},"canonical_sha256":"7ebfe61ce4a46ba41cd119b823e59f034d5af5a26f4585cde1afcd1a29626845","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:06.418305Z","signature_b64":"dfnrSxgkLlDvamfOay4bhq3Gi4u+pAJEPuwsdznmcq2zrtdn0dH3jGl6WzLY3wIaqpZFJWTcPdyunkDX9yGxDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ebfe61ce4a46ba41cd119b823e59f034d5af5a26f4585cde1afcd1a29626845","last_reissued_at":"2026-05-18T03:16:06.417860Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:06.417860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1208.3337","source_version":4,"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-18T03:16:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+qIn0vC61tZ5smoJeUvBzerSrp2+CuRKGbzVfg0jkVtXpJ4NrMdYTghw9gy9HDuZRL3F/o4eJHF3XKYd2LMQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T15:38:35.524135Z"},"content_sha256":"b447a0679253b71e431d1e37598ef21cce81917bcf489d0dbb72486cc65d8db8","schema_version":"1.0","event_id":"sha256:b447a0679253b71e431d1e37598ef21cce81917bcf489d0dbb72486cc65d8db8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:P276MHHEURV2IHGRDG4CHZM7AN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What Good Are Strong Specifications?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bertrand Meyer, Carlo A. Furia, Nadia Polikarpova, Yi Wei, Yu Pei","submitted_at":"2012-08-16T10:37:21Z","abstract_excerpt":"Experience with lightweight formal methods suggests that programmers are willing to write specification if it brings tangible benefits to their usual development activities. This paper considers stronger specifications and studies whether they can be deployed as an incremental practice that brings additional benefits without being unacceptably expensive. We introduce a methodology that extends Design by Contract to write strong specifications of functional properties in the form of preconditions, postconditions, and invariants. The methodology aims at being palatable to developers who are not "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.3337","kind":"arxiv","version":4},"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-18T03:16:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iUoDV0b6PoPIvHg7LBqgpiLI7nMk8JZ8i9yeb/SOpmnLGWUrPwHRCrBBDntaly8s+3XTTYX3hOFUN8aS3FJvDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T15:38:35.524486Z"},"content_sha256":"3dbdac7f057f5ceb1a3f8a1902173b0aa4d892f73dc6c1627b1aff8435b04043","schema_version":"1.0","event_id":"sha256:3dbdac7f057f5ceb1a3f8a1902173b0aa4d892f73dc6c1627b1aff8435b04043"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P276MHHEURV2IHGRDG4CHZM7AN/bundle.json","state_url":"https://pith.science/pith/P276MHHEURV2IHGRDG4CHZM7AN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P276MHHEURV2IHGRDG4CHZM7AN/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-07-01T15:38:35Z","links":{"resolver":"https://pith.science/pith/P276MHHEURV2IHGRDG4CHZM7AN","bundle":"https://pith.science/pith/P276MHHEURV2IHGRDG4CHZM7AN/bundle.json","state":"https://pith.science/pith/P276MHHEURV2IHGRDG4CHZM7AN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P276MHHEURV2IHGRDG4CHZM7AN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:P276MHHEURV2IHGRDG4CHZM7AN","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":"a09c2d8f9327f19825bb23519860c67a1d5bec61f39593a9a7b05ed264cc2a0f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-08-16T10:37:21Z","title_canon_sha256":"caffdef7a6838f99231f708b60a67b767a4277263cb2e41c1c2a32365ae83ca2"},"schema_version":"1.0","source":{"id":"1208.3337","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.3337","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"arxiv_version","alias_value":"1208.3337v4","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.3337","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"pith_short_12","alias_value":"P276MHHEURV2","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"P276MHHEURV2IHGR","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"P276MHHE","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:3dbdac7f057f5ceb1a3f8a1902173b0aa4d892f73dc6c1627b1aff8435b04043","target":"graph","created_at":"2026-05-18T03:16:06Z","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":"Experience with lightweight formal methods suggests that programmers are willing to write specification if it brings tangible benefits to their usual development activities. This paper considers stronger specifications and studies whether they can be deployed as an incremental practice that brings additional benefits without being unacceptably expensive. We introduce a methodology that extends Design by Contract to write strong specifications of functional properties in the form of preconditions, postconditions, and invariants. The methodology aims at being palatable to developers who are not ","authors_text":"Bertrand Meyer, Carlo A. Furia, Nadia Polikarpova, Yi Wei, Yu Pei","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-08-16T10:37:21Z","title":"What Good Are Strong Specifications?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.3337","kind":"arxiv","version":4},"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:b447a0679253b71e431d1e37598ef21cce81917bcf489d0dbb72486cc65d8db8","target":"record","created_at":"2026-05-18T03:16:06Z","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":"a09c2d8f9327f19825bb23519860c67a1d5bec61f39593a9a7b05ed264cc2a0f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-08-16T10:37:21Z","title_canon_sha256":"caffdef7a6838f99231f708b60a67b767a4277263cb2e41c1c2a32365ae83ca2"},"schema_version":"1.0","source":{"id":"1208.3337","kind":"arxiv","version":4}},"canonical_sha256":"7ebfe61ce4a46ba41cd119b823e59f034d5af5a26f4585cde1afcd1a29626845","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ebfe61ce4a46ba41cd119b823e59f034d5af5a26f4585cde1afcd1a29626845","first_computed_at":"2026-05-18T03:16:06.417860Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:06.417860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dfnrSxgkLlDvamfOay4bhq3Gi4u+pAJEPuwsdznmcq2zrtdn0dH3jGl6WzLY3wIaqpZFJWTcPdyunkDX9yGxDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:06.418305Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.3337","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b447a0679253b71e431d1e37598ef21cce81917bcf489d0dbb72486cc65d8db8","sha256:3dbdac7f057f5ceb1a3f8a1902173b0aa4d892f73dc6c1627b1aff8435b04043"],"state_sha256":"12c127fd1a13ffd17ceb69a672aad7e6aa1842bb859efd482b8882477bf15684"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p3oZzaH/tQO2puOomn7VBodYRSpz7ubcOIluuom9Y2Fsl7Jp4FC8ZEXGkaFQGdyx8nXBogNT7SDUhWAK+NS6Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T15:38:35.526425Z","bundle_sha256":"4e93de5168adba083e94d86b8be5ab1a737c45971b443fa918d197f811f0760a"}}