{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:HMZQD2ACY2RFGA22ZXLNMUNOXX","short_pith_number":"pith:HMZQD2AC","canonical_record":{"source":{"id":"1003.1741","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-08T22:05:18Z","cross_cats_sorted":[],"title_canon_sha256":"f85d154faf6dcba80c9c835e400e20467f28eb7b1002c26936a49b843e184c74","abstract_canon_sha256":"f6b4afc62ec09ff307d3cbe6b41cae858e4738ad0a04afb91d408345a3e3d44c"},"schema_version":"1.0"},"canonical_sha256":"3b3301e802c6a253035acdd6d651aebdf1c27880f82c468ee865ee4fd1ec3fb1","source":{"kind":"arxiv","id":"1003.1741","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1003.1741","created_at":"2026-05-18T03:52:28Z"},{"alias_kind":"arxiv_version","alias_value":"1003.1741v2","created_at":"2026-05-18T03:52:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.1741","created_at":"2026-05-18T03:52:28Z"},{"alias_kind":"pith_short_12","alias_value":"HMZQD2ACY2RF","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"HMZQD2ACY2RFGA22","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"HMZQD2AC","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:HMZQD2ACY2RFGA22ZXLNMUNOXX","target":"record","payload":{"canonical_record":{"source":{"id":"1003.1741","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-08T22:05:18Z","cross_cats_sorted":[],"title_canon_sha256":"f85d154faf6dcba80c9c835e400e20467f28eb7b1002c26936a49b843e184c74","abstract_canon_sha256":"f6b4afc62ec09ff307d3cbe6b41cae858e4738ad0a04afb91d408345a3e3d44c"},"schema_version":"1.0"},"canonical_sha256":"3b3301e802c6a253035acdd6d651aebdf1c27880f82c468ee865ee4fd1ec3fb1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:28.628888Z","signature_b64":"7/pGU5JVmlxUBjTihu3U/XG5BFumaUNpi2RbZ/dItQUvfFaiUGxngU7IM8WGGqbGZR2ruHnGsJYpkDC4QndUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b3301e802c6a253035acdd6d651aebdf1c27880f82c468ee865ee4fd1ec3fb1","last_reissued_at":"2026-05-18T03:52:28.628145Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:28.628145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1003.1741","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-18T03:52:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h8iH9kJTbfVVoMG5XW+/X3lQMC/JBIl/g7SD7D5AukW7XXcqOqwOPbxkg8SIYFtQFZxDxeEmiCFAZ6DgXUb/Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T12:22:28.296513Z"},"content_sha256":"20616434e39a601a4034b7783eaa28e8fa353035e6888c4448b02077616e2ede","schema_version":"1.0","event_id":"sha256:20616434e39a601a4034b7783eaa28e8fa353035e6888c4448b02077616e2ede"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:HMZQD2ACY2RFGA22ZXLNMUNOXX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalization and Validation of Safety-Critical Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Cimatti, Angelo Susi, Marco Roveri, Stefano Tonetta","submitted_at":"2010-03-08T22:05:18Z","abstract_excerpt":"The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.1741","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-18T03:52:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zc2LqibTF2uspXWlYt/HswOODUf+1QCqX3IgnkHCZh3GdetxvIW4J9ArD5XLUiixBCuIVKPonJHkdOirryd+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T12:22:28.296865Z"},"content_sha256":"3b2117a818c28cfc914ea0d77138b1b744f0cc90514395378889f3c8ed6cda78","schema_version":"1.0","event_id":"sha256:3b2117a818c28cfc914ea0d77138b1b744f0cc90514395378889f3c8ed6cda78"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX/bundle.json","state_url":"https://pith.science/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX/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-22T12:22:28Z","links":{"resolver":"https://pith.science/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX","bundle":"https://pith.science/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX/bundle.json","state":"https://pith.science/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HMZQD2ACY2RFGA22ZXLNMUNOXX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:HMZQD2ACY2RFGA22ZXLNMUNOXX","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":"f6b4afc62ec09ff307d3cbe6b41cae858e4738ad0a04afb91d408345a3e3d44c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-08T22:05:18Z","title_canon_sha256":"f85d154faf6dcba80c9c835e400e20467f28eb7b1002c26936a49b843e184c74"},"schema_version":"1.0","source":{"id":"1003.1741","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1003.1741","created_at":"2026-05-18T03:52:28Z"},{"alias_kind":"arxiv_version","alias_value":"1003.1741v2","created_at":"2026-05-18T03:52:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.1741","created_at":"2026-05-18T03:52:28Z"},{"alias_kind":"pith_short_12","alias_value":"HMZQD2ACY2RF","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"HMZQD2ACY2RFGA22","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"HMZQD2AC","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:3b2117a818c28cfc914ea0d77138b1b744f0cc90514395378889f3c8ed6cda78","target":"graph","created_at":"2026-05-18T03:52:28Z","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":"The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that ","authors_text":"Alessandro Cimatti, Angelo Susi, Marco Roveri, Stefano Tonetta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-08T22:05:18Z","title":"Formalization and Validation of Safety-Critical Requirements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.1741","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:20616434e39a601a4034b7783eaa28e8fa353035e6888c4448b02077616e2ede","target":"record","created_at":"2026-05-18T03:52:28Z","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":"f6b4afc62ec09ff307d3cbe6b41cae858e4738ad0a04afb91d408345a3e3d44c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-03-08T22:05:18Z","title_canon_sha256":"f85d154faf6dcba80c9c835e400e20467f28eb7b1002c26936a49b843e184c74"},"schema_version":"1.0","source":{"id":"1003.1741","kind":"arxiv","version":2}},"canonical_sha256":"3b3301e802c6a253035acdd6d651aebdf1c27880f82c468ee865ee4fd1ec3fb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b3301e802c6a253035acdd6d651aebdf1c27880f82c468ee865ee4fd1ec3fb1","first_computed_at":"2026-05-18T03:52:28.628145Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:28.628145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7/pGU5JVmlxUBjTihu3U/XG5BFumaUNpi2RbZ/dItQUvfFaiUGxngU7IM8WGGqbGZR2ruHnGsJYpkDC4QndUCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:28.628888Z","signed_message":"canonical_sha256_bytes"},"source_id":"1003.1741","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20616434e39a601a4034b7783eaa28e8fa353035e6888c4448b02077616e2ede","sha256:3b2117a818c28cfc914ea0d77138b1b744f0cc90514395378889f3c8ed6cda78"],"state_sha256":"156c612467cc59b0447d8b82b6116da1171bcce44b36e5badc86e1ed57c16bb2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y4dwWmPVOg/v5r+JkZJfXp4exQ3Gf2n37yR0XtSGWVHKWu46T9ua8U01crQ2ugfv/7/LpWpJLhKXjcFJM+ekAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T12:22:28.298900Z","bundle_sha256":"365c93ec2cb16ba5e20816f0498434b1933582fe32096f5b686527ce21c4722e"}}