{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:6XK643QQXSJQUSMQATYXQS5SET","short_pith_number":"pith:6XK643QQ","canonical_record":{"source":{"id":"1510.02669","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-10-09T13:48:09Z","cross_cats_sorted":[],"title_canon_sha256":"225473d8497ee6649cd7ec13ef670c5736bb9c0a95218fa3297440b54d920b52","abstract_canon_sha256":"ea3671cf922771f875bf1fd5b36e5655c9a2c0cea559c9bd009314169e92d42d"},"schema_version":"1.0"},"canonical_sha256":"f5d5ee6e10bc930a499004f1784bb224d896f394057ef924bfd25421034a5eca","source":{"kind":"arxiv","id":"1510.02669","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02669","created_at":"2026-05-18T01:30:41Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02669v1","created_at":"2026-05-18T01:30:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02669","created_at":"2026-05-18T01:30:41Z"},{"alias_kind":"pith_short_12","alias_value":"6XK643QQXSJQ","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"6XK643QQXSJQUSMQ","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"6XK643QQ","created_at":"2026-05-18T12:29:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:6XK643QQXSJQUSMQATYXQS5SET","target":"record","payload":{"canonical_record":{"source":{"id":"1510.02669","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-10-09T13:48:09Z","cross_cats_sorted":[],"title_canon_sha256":"225473d8497ee6649cd7ec13ef670c5736bb9c0a95218fa3297440b54d920b52","abstract_canon_sha256":"ea3671cf922771f875bf1fd5b36e5655c9a2c0cea559c9bd009314169e92d42d"},"schema_version":"1.0"},"canonical_sha256":"f5d5ee6e10bc930a499004f1784bb224d896f394057ef924bfd25421034a5eca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:41.767764Z","signature_b64":"XD+g3XojZlQ38C2ciZvUgGKAaEiCACFEi4lI263PDr4B7hLW0AsntdBUq3yaKFLcwFQISpWHo8XuEQfszJ4dBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5d5ee6e10bc930a499004f1784bb224d896f394057ef924bfd25421034a5eca","last_reissued_at":"2026-05-18T01:30:41.767165Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:41.767165Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.02669","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-18T01:30:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T4gwiPtqGIMGbefpH/t7OGfLP7dEsuINy0OBvnzEbUl4WcPiXKQXDpFzu7rPh4PhfdgrbOWBCQhqAT7TD3fODg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T11:31:47.468971Z"},"content_sha256":"c1cad5e6408cf2dbed46d72b4700388580589a66b1fa5aa7de13d829d6f07cba","schema_version":"1.0","event_id":"sha256:c1cad5e6408cf2dbed46d72b4700388580589a66b1fa5aa7de13d829d6f07cba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:6XK643QQXSJQUSMQATYXQS5SET","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jan Beran, Ji\\v{r}\\'i Barnat, Lubo\\v{s} Brim, Nikola Bene\\v{s}, Petr Bauch, Tom\\'a\\v{s} Kratochv\\'ila","submitted_at":"2015-10-09T13:48:09Z","abstract_excerpt":"In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new sanity checking techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally evaluate approaches to consistency and redundancy checking that identify all inconsistencies and pinpoint their exact source (the smallest inconsistent set). We further report on the experience obtained"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02669","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-18T01:30:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pYPEw/uQuUn67T9zz4IRGDdKGh+jJUIHWPaUx1AfaVluh3RrMWCvJ7G0dJufn3/QW+hnHsWsMv0k1+l0lUtPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T11:31:47.469307Z"},"content_sha256":"73d59083ca6ec6de5ae2c6eb1dea6bf45896bbfd8cffe0e65f36f964651be02c","schema_version":"1.0","event_id":"sha256:73d59083ca6ec6de5ae2c6eb1dea6bf45896bbfd8cffe0e65f36f964651be02c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6XK643QQXSJQUSMQATYXQS5SET/bundle.json","state_url":"https://pith.science/pith/6XK643QQXSJQUSMQATYXQS5SET/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6XK643QQXSJQUSMQATYXQS5SET/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-08T11:31:47Z","links":{"resolver":"https://pith.science/pith/6XK643QQXSJQUSMQATYXQS5SET","bundle":"https://pith.science/pith/6XK643QQXSJQUSMQATYXQS5SET/bundle.json","state":"https://pith.science/pith/6XK643QQXSJQUSMQATYXQS5SET/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6XK643QQXSJQUSMQATYXQS5SET/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:6XK643QQXSJQUSMQATYXQS5SET","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":"ea3671cf922771f875bf1fd5b36e5655c9a2c0cea559c9bd009314169e92d42d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-10-09T13:48:09Z","title_canon_sha256":"225473d8497ee6649cd7ec13ef670c5736bb9c0a95218fa3297440b54d920b52"},"schema_version":"1.0","source":{"id":"1510.02669","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02669","created_at":"2026-05-18T01:30:41Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02669v1","created_at":"2026-05-18T01:30:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02669","created_at":"2026-05-18T01:30:41Z"},{"alias_kind":"pith_short_12","alias_value":"6XK643QQXSJQ","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"6XK643QQXSJQUSMQ","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"6XK643QQ","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:73d59083ca6ec6de5ae2c6eb1dea6bf45896bbfd8cffe0e65f36f964651be02c","target":"graph","created_at":"2026-05-18T01:30:41Z","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":"In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new sanity checking techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally evaluate approaches to consistency and redundancy checking that identify all inconsistencies and pinpoint their exact source (the smallest inconsistent set). We further report on the experience obtained","authors_text":"Jan Beran, Ji\\v{r}\\'i Barnat, Lubo\\v{s} Brim, Nikola Bene\\v{s}, Petr Bauch, Tom\\'a\\v{s} Kratochv\\'ila","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-10-09T13:48:09Z","title":"Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02669","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:c1cad5e6408cf2dbed46d72b4700388580589a66b1fa5aa7de13d829d6f07cba","target":"record","created_at":"2026-05-18T01:30:41Z","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":"ea3671cf922771f875bf1fd5b36e5655c9a2c0cea559c9bd009314169e92d42d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-10-09T13:48:09Z","title_canon_sha256":"225473d8497ee6649cd7ec13ef670c5736bb9c0a95218fa3297440b54d920b52"},"schema_version":"1.0","source":{"id":"1510.02669","kind":"arxiv","version":1}},"canonical_sha256":"f5d5ee6e10bc930a499004f1784bb224d896f394057ef924bfd25421034a5eca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f5d5ee6e10bc930a499004f1784bb224d896f394057ef924bfd25421034a5eca","first_computed_at":"2026-05-18T01:30:41.767165Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:41.767165Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XD+g3XojZlQ38C2ciZvUgGKAaEiCACFEi4lI263PDr4B7hLW0AsntdBUq3yaKFLcwFQISpWHo8XuEQfszJ4dBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:41.767764Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.02669","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1cad5e6408cf2dbed46d72b4700388580589a66b1fa5aa7de13d829d6f07cba","sha256:73d59083ca6ec6de5ae2c6eb1dea6bf45896bbfd8cffe0e65f36f964651be02c"],"state_sha256":"3e894730f89dba8bf88456638873a484ae122f09ebd27b5a7f11f70002f69b35"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n73nyJ36588ZaOSqmDxC4sdJfOF90Mx4KEZZ1b4+PBsP/Kj2Zn6Mh5pPBm9cehERkvMA3mMdSGI87gf1hDyxCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T11:31:47.471127Z","bundle_sha256":"95b778b03c33e0cab4e86ed2e8bc94e676e2090e9146dc9e537d8ffd229b5540"}}