{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LX465PB46YOCMEA23YVJUA2EJ7","short_pith_number":"pith:LX465PB4","canonical_record":{"source":{"id":"1410.7704","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2014-10-28T17:19:13Z","cross_cats_sorted":["cs.LO","q-bio.MN"],"title_canon_sha256":"284205bed060595930481705e0ee6604ed755c3fee5a919d76bad93cd172753b","abstract_canon_sha256":"fe22471616112190e8533728543651491fdf713ca0975c1f70c9c3faae8c36c5"},"schema_version":"1.0"},"canonical_sha256":"5df9eebc3cf61c26101ade2a9a03444fd0750d5088c9c21e4891d910665719b6","source":{"kind":"arxiv","id":"1410.7704","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.7704","created_at":"2026-05-18T02:29:17Z"},{"alias_kind":"arxiv_version","alias_value":"1410.7704v2","created_at":"2026-05-18T02:29:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.7704","created_at":"2026-05-18T02:29:17Z"},{"alias_kind":"pith_short_12","alias_value":"LX465PB46YOC","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LX465PB46YOCMEA2","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LX465PB4","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LX465PB46YOCMEA23YVJUA2EJ7","target":"record","payload":{"canonical_record":{"source":{"id":"1410.7704","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2014-10-28T17:19:13Z","cross_cats_sorted":["cs.LO","q-bio.MN"],"title_canon_sha256":"284205bed060595930481705e0ee6604ed755c3fee5a919d76bad93cd172753b","abstract_canon_sha256":"fe22471616112190e8533728543651491fdf713ca0975c1f70c9c3faae8c36c5"},"schema_version":"1.0"},"canonical_sha256":"5df9eebc3cf61c26101ade2a9a03444fd0750d5088c9c21e4891d910665719b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:17.191991Z","signature_b64":"SjyJ9s6h7xApFMg4d9jlp6Lr8qidu8/kQbAAQqSOfNmiGib3Ow9RAlj/0j1pf6FJWS5d2fT2Es6jLai89qWIAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5df9eebc3cf61c26101ade2a9a03444fd0750d5088c9c21e4891d910665719b6","last_reissued_at":"2026-05-18T02:29:17.191542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:17.191542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.7704","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-18T02:29:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jEe0d8mp/ENhNicz1Qany5NP+pvatmpGkElwNi1kbObLuHKLYxVsoMsU1WHMP175z/YUFdlmOqzlPfRi0CqUAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:00:58.918839Z"},"content_sha256":"e965bae4c2f204305247c73722b194c148c5d097601d5c3c99dcca072a1a0346","schema_version":"1.0","event_id":"sha256:e965bae4c2f204305247c73722b194c148c5d097601d5c3c99dcca072a1a0346"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LX465PB46YOCMEA23YVJUA2EJ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Checking Gene Regulatory Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","q-bio.MN"],"primary_cat":"cs.CE","authors_text":"Ashutosh Gupta, Calin C. Guet, Mirco Giacobbe, Tatjana Petrov, Thomas A. Henzinger, Tiago Paixao","submitted_at":"2014-10-28T17:19:13Z","abstract_excerpt":"The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.7704","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-18T02:29:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cm3w+zHMSjSgoy5ylFl38sNK/9TiE9NXTUqtRDHPupuz8IF//dbIJckytaSyalOGsTCtYVZClH/Ec9J5+7iLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:00:58.919547Z"},"content_sha256":"35f0abfdbcee40d4356c729302c671bd08d04cd79e42b804075317c81d39f369","schema_version":"1.0","event_id":"sha256:35f0abfdbcee40d4356c729302c671bd08d04cd79e42b804075317c81d39f369"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LX465PB46YOCMEA23YVJUA2EJ7/bundle.json","state_url":"https://pith.science/pith/LX465PB46YOCMEA23YVJUA2EJ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LX465PB46YOCMEA23YVJUA2EJ7/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-05-26T13:00:58Z","links":{"resolver":"https://pith.science/pith/LX465PB46YOCMEA23YVJUA2EJ7","bundle":"https://pith.science/pith/LX465PB46YOCMEA23YVJUA2EJ7/bundle.json","state":"https://pith.science/pith/LX465PB46YOCMEA23YVJUA2EJ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LX465PB46YOCMEA23YVJUA2EJ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LX465PB46YOCMEA23YVJUA2EJ7","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":"fe22471616112190e8533728543651491fdf713ca0975c1f70c9c3faae8c36c5","cross_cats_sorted":["cs.LO","q-bio.MN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2014-10-28T17:19:13Z","title_canon_sha256":"284205bed060595930481705e0ee6604ed755c3fee5a919d76bad93cd172753b"},"schema_version":"1.0","source":{"id":"1410.7704","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.7704","created_at":"2026-05-18T02:29:17Z"},{"alias_kind":"arxiv_version","alias_value":"1410.7704v2","created_at":"2026-05-18T02:29:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.7704","created_at":"2026-05-18T02:29:17Z"},{"alias_kind":"pith_short_12","alias_value":"LX465PB46YOC","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LX465PB46YOCMEA2","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LX465PB4","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:35f0abfdbcee40d4356c729302c671bd08d04cd79e42b804075317c81d39f369","target":"graph","created_at":"2026-05-18T02:29:17Z","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 behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs","authors_text":"Ashutosh Gupta, Calin C. Guet, Mirco Giacobbe, Tatjana Petrov, Thomas A. Henzinger, Tiago Paixao","cross_cats":["cs.LO","q-bio.MN"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2014-10-28T17:19:13Z","title":"Model Checking Gene Regulatory Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.7704","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:e965bae4c2f204305247c73722b194c148c5d097601d5c3c99dcca072a1a0346","target":"record","created_at":"2026-05-18T02:29:17Z","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":"fe22471616112190e8533728543651491fdf713ca0975c1f70c9c3faae8c36c5","cross_cats_sorted":["cs.LO","q-bio.MN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2014-10-28T17:19:13Z","title_canon_sha256":"284205bed060595930481705e0ee6604ed755c3fee5a919d76bad93cd172753b"},"schema_version":"1.0","source":{"id":"1410.7704","kind":"arxiv","version":2}},"canonical_sha256":"5df9eebc3cf61c26101ade2a9a03444fd0750d5088c9c21e4891d910665719b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5df9eebc3cf61c26101ade2a9a03444fd0750d5088c9c21e4891d910665719b6","first_computed_at":"2026-05-18T02:29:17.191542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:17.191542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SjyJ9s6h7xApFMg4d9jlp6Lr8qidu8/kQbAAQqSOfNmiGib3Ow9RAlj/0j1pf6FJWS5d2fT2Es6jLai89qWIAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:17.191991Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.7704","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e965bae4c2f204305247c73722b194c148c5d097601d5c3c99dcca072a1a0346","sha256:35f0abfdbcee40d4356c729302c671bd08d04cd79e42b804075317c81d39f369"],"state_sha256":"97d11b4a3a3981c130757b7626c28e22033fe4e4c41a88bd28fb45c1b27d78ff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"26nMxga9QL2V4dSY7NqtS3uvkPEy3e+X6mdCkxiysRavaL4O9uNELEUZhu6N3xvhiFaLGovUixrwkuqVPL7jDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T13:00:58.923423Z","bundle_sha256":"5a5c5800a53ecc17b76169f5ae296acfad608dfccb9f332d4a4cac6000a226a1"}}