{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:E4ARY7AN7MVRL7LZ3W46V5A73P","short_pith_number":"pith:E4ARY7AN","canonical_record":{"source":{"id":"1404.0853","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-03T10:44:53Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5211122f4eea2ad5148b5738d6744858f69d50707d8a292fcf00355f22cbceb4","abstract_canon_sha256":"f1ffef105df95609e77de908b0c063c288ab57b2a21c9a279b5d27a68cb0bde5"},"schema_version":"1.0"},"canonical_sha256":"27011c7c0dfb2b15fd79ddb9eaf41fdbd097bff1e10846db0a41e5669e2594d8","source":{"kind":"arxiv","id":"1404.0853","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0853","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0853v1","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0853","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"pith_short_12","alias_value":"E4ARY7AN7MVR","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"E4ARY7AN7MVRL7LZ","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"E4ARY7AN","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:E4ARY7AN7MVRL7LZ3W46V5A73P","target":"record","payload":{"canonical_record":{"source":{"id":"1404.0853","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-03T10:44:53Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5211122f4eea2ad5148b5738d6744858f69d50707d8a292fcf00355f22cbceb4","abstract_canon_sha256":"f1ffef105df95609e77de908b0c063c288ab57b2a21c9a279b5d27a68cb0bde5"},"schema_version":"1.0"},"canonical_sha256":"27011c7c0dfb2b15fd79ddb9eaf41fdbd097bff1e10846db0a41e5669e2594d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:55.232428Z","signature_b64":"YWlCR+VBZmb5G+megzHhR7l+qmYuwtD1hMrp4Ic9grZeDgqGSHipF2EjRlbgtoTKueuQWEfFhaLuYG0t09HmAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"27011c7c0dfb2b15fd79ddb9eaf41fdbd097bff1e10846db0a41e5669e2594d8","last_reissued_at":"2026-05-18T02:54:55.231787Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:55.231787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.0853","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-05-18T02:54:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"42GX0xVo064cP0nFG5u7m2WUYWiJr5i6jcRSegeLodzvALuxEcn5dLS8OqJA85UMqZe1fp2TyUW2hQIB9MvtCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T16:23:36.068438Z"},"content_sha256":"62a739cce27c51d099fdac8a79fc454b4184e691d28325f9f8074abc9c17b565","schema_version":"1.0","event_id":"sha256:62a739cce27c51d099fdac8a79fc454b4184e691d28325f9f8074abc9c17b565"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:E4ARY7AN7MVRL7LZ3W46V5A73P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correct-by-construction model composition: Application to the Invasive Software Composition method","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Beno\\^it Combemale (Universit\\'e de Rennes 1, France), IRISA, IRIT, Marc Pantel (Universit\\'e de Toulouse, Mounira Kezadri Hamiaz (Universit\\'e de Toulouse, Xavier Thirioux (Universit\\'e de Toulouse","submitted_at":"2014-04-03T10:44:53Z","abstract_excerpt":"Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual verification activities that must be conducted on the composite in addition to the ones conducted on each components. In order to ensure the correctness of compositional verification and assess the minimality of the residual verification, the contribution proposes to use formal specification and verification at the composition operator level. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0853","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":""},"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:54:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N3twGjPcgR79zOu+hLOJjQBL7xXpjiYAnbUqAPSCeYT1e9qHSTTq1KZIleXjLvvB3AexteOYlyPh4LWNumuWAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T16:23:36.068813Z"},"content_sha256":"1fd00eae88c947719cdbf82593453cad878b10067623dea46aac00c7e5343f71","schema_version":"1.0","event_id":"sha256:1fd00eae88c947719cdbf82593453cad878b10067623dea46aac00c7e5343f71"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E4ARY7AN7MVRL7LZ3W46V5A73P/bundle.json","state_url":"https://pith.science/pith/E4ARY7AN7MVRL7LZ3W46V5A73P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E4ARY7AN7MVRL7LZ3W46V5A73P/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-06-09T16:23:36Z","links":{"resolver":"https://pith.science/pith/E4ARY7AN7MVRL7LZ3W46V5A73P","bundle":"https://pith.science/pith/E4ARY7AN7MVRL7LZ3W46V5A73P/bundle.json","state":"https://pith.science/pith/E4ARY7AN7MVRL7LZ3W46V5A73P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E4ARY7AN7MVRL7LZ3W46V5A73P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:E4ARY7AN7MVRL7LZ3W46V5A73P","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":"f1ffef105df95609e77de908b0c063c288ab57b2a21c9a279b5d27a68cb0bde5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-03T10:44:53Z","title_canon_sha256":"5211122f4eea2ad5148b5738d6744858f69d50707d8a292fcf00355f22cbceb4"},"schema_version":"1.0","source":{"id":"1404.0853","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0853","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0853v1","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0853","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"pith_short_12","alias_value":"E4ARY7AN7MVR","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"E4ARY7AN7MVRL7LZ","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"E4ARY7AN","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:1fd00eae88c947719cdbf82593453cad878b10067623dea46aac00c7e5343f71","target":"graph","created_at":"2026-05-18T02:54:55Z","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":"Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual verification activities that must be conducted on the composite in addition to the ones conducted on each components. In order to ensure the correctness of compositional verification and assess the minimality of the residual verification, the contribution proposes to use formal specification and verification at the composition operator level. ","authors_text":"Beno\\^it Combemale (Universit\\'e de Rennes 1, France), IRISA, IRIT, Marc Pantel (Universit\\'e de Toulouse, Mounira Kezadri Hamiaz (Universit\\'e de Toulouse, Xavier Thirioux (Universit\\'e de Toulouse","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-03T10:44:53Z","title":"Correct-by-construction model composition: Application to the Invasive Software Composition method"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0853","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:62a739cce27c51d099fdac8a79fc454b4184e691d28325f9f8074abc9c17b565","target":"record","created_at":"2026-05-18T02:54:55Z","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":"f1ffef105df95609e77de908b0c063c288ab57b2a21c9a279b5d27a68cb0bde5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-03T10:44:53Z","title_canon_sha256":"5211122f4eea2ad5148b5738d6744858f69d50707d8a292fcf00355f22cbceb4"},"schema_version":"1.0","source":{"id":"1404.0853","kind":"arxiv","version":1}},"canonical_sha256":"27011c7c0dfb2b15fd79ddb9eaf41fdbd097bff1e10846db0a41e5669e2594d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"27011c7c0dfb2b15fd79ddb9eaf41fdbd097bff1e10846db0a41e5669e2594d8","first_computed_at":"2026-05-18T02:54:55.231787Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:54:55.231787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YWlCR+VBZmb5G+megzHhR7l+qmYuwtD1hMrp4Ic9grZeDgqGSHipF2EjRlbgtoTKueuQWEfFhaLuYG0t09HmAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:54:55.232428Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0853","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62a739cce27c51d099fdac8a79fc454b4184e691d28325f9f8074abc9c17b565","sha256:1fd00eae88c947719cdbf82593453cad878b10067623dea46aac00c7e5343f71"],"state_sha256":"a1322ddc595d74ed11f604ec88d235039cdc51e4941745e8a49c0a9ba99a3c91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t4poZYi5n8jBYzx00Jemix/RolZTd2wlm7pCwKVR2lcPu+ZZUmh1rZNdrywfqUdQu0TZfszvj0nPOCp+95r8Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T16:23:36.070764Z","bundle_sha256":"29fd97d85e10b964567bbe17b8f83dc3ee0f1b27829e7ce383157b99e074b78f"}}