{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:GXKTCHAE4QFJEZVA2H4TACOFST","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":"f808131d8ae84f4a5d7687daa5f56e07d94813dde9ad078cabd0c074155dc4f8","cross_cats_sorted":["math.OC","q-bio.MN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-09-06T19:38:11Z","title_canon_sha256":"abb36e132c5d5cd5c3547c3dd4794e2a3a2a7b2e2a2a951b18c83f3f9293485e"},"schema_version":"1.0","source":{"id":"1109.1275","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.1275","created_at":"2026-05-18T04:08:44Z"},{"alias_kind":"arxiv_version","alias_value":"1109.1275v1","created_at":"2026-05-18T04:08:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.1275","created_at":"2026-05-18T04:08:44Z"},{"alias_kind":"pith_short_12","alias_value":"GXKTCHAE4QFJ","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"GXKTCHAE4QFJEZVA","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"GXKTCHAE","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:7fa9151ebe57307ad0f478dff1fac4d569fbf9e04632b1bb45ba9de16f606217","target":"graph","created_at":"2026-05-18T04:08:44Z","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 design of genetic networks with specific functions is one of the major goals of synthetic biology. However, constructing biological devices that work \"as required\" remains challenging, while the cost of uncovering flawed designs experimentally is large. To address this issue, we propose a fully automated framework that allows the correctness of synthetic gene networks to be formally verified in silico from rich, high level functional specifications.\n  Given a device, we automatically construct a mathematical model from experimental data characterizing the parts it is composed of. The speci","authors_text":"Boyan Yordanov, Calin Belta","cross_cats":["math.OC","q-bio.MN"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-09-06T19:38:11Z","title":"A Formal Verification Approach to the Design of Synthetic Gene Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.1275","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:f5daf30b8744403a6abeb3057dd191ebe18abb0e5b1c07d40bf27acb9b94d1e9","target":"record","created_at":"2026-05-18T04:08:44Z","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":"f808131d8ae84f4a5d7687daa5f56e07d94813dde9ad078cabd0c074155dc4f8","cross_cats_sorted":["math.OC","q-bio.MN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-09-06T19:38:11Z","title_canon_sha256":"abb36e132c5d5cd5c3547c3dd4794e2a3a2a7b2e2a2a951b18c83f3f9293485e"},"schema_version":"1.0","source":{"id":"1109.1275","kind":"arxiv","version":1}},"canonical_sha256":"35d5311c04e40a9266a0d1f93009c594e0b3f4784668f938c181db1c07fdba5b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35d5311c04e40a9266a0d1f93009c594e0b3f4784668f938c181db1c07fdba5b","first_computed_at":"2026-05-18T04:08:44.407742Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:08:44.407742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TRnb+cNMYoQOkI9P9Cj6AENq/w1m5c/nZPJWr2yCb5OtVWKgkWIWYhmQWL7H8qgCHIJLL33/QyKCkJq0AVngCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:08:44.408138Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.1275","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5daf30b8744403a6abeb3057dd191ebe18abb0e5b1c07d40bf27acb9b94d1e9","sha256:7fa9151ebe57307ad0f478dff1fac4d569fbf9e04632b1bb45ba9de16f606217"],"state_sha256":"e25df4bcb65635b0fd6aefa3de97e95d297050e8f712d858927fa02a2df8ad9d"}