{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:4FOEGPU5JR2Y5PJLRAZ6EEHHVN","short_pith_number":"pith:4FOEGPU5","schema_version":"1.0","canonical_sha256":"e15c433e9d4c758ebd2b8833e210e7ab5826a4ee79d46b45edab92b84a8c65c1","source":{"kind":"arxiv","id":"1807.07378","version":1},"attestation_state":"computed","paper":{"title":"Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.LO","authors_text":"Adnan Rashid, Osman Hasan","submitted_at":"2018-07-18T16:50:54Z","abstract_excerpt":"Robotic cell injection is used for automatically delivering substances into a cell and is an integral component of drug development, genetic engineering and many other areas of cell biology. Traditionally, the correctness of functionality of these systems is ascertained using paper-and-pencil proof and computer simulation methods. However, the paper based proofs can be human-error prone and the simulation provides an incomplete analysis due to its sampling based nature and the inability to capture continuous behaviors in computer based models. Model checking has been recently advocated for the"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1807.07378","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-07-18T16:50:54Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"2697bd5102bc154e17657e726f8b1d8711ea5cdd5cdbc3842318b1c9bc6dee6b","abstract_canon_sha256":"ee2abf0da082936c10b2f81dbeb31376f1253676168b28f4e5fcda91533df613"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:20.294868Z","signature_b64":"Qhi2/qWPYfl4WzwCqNjmUcOkGZsP9Q9cSuSU5SM4Lrm56zLZNXPP1Rf6RPhx8A0R8Vq9AidHSpmaCOgDdGISCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e15c433e9d4c758ebd2b8833e210e7ab5826a4ee79d46b45edab92b84a8c65c1","last_reissued_at":"2026-05-18T00:10:20.294416Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:20.294416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.LO","authors_text":"Adnan Rashid, Osman Hasan","submitted_at":"2018-07-18T16:50:54Z","abstract_excerpt":"Robotic cell injection is used for automatically delivering substances into a cell and is an integral component of drug development, genetic engineering and many other areas of cell biology. Traditionally, the correctness of functionality of these systems is ascertained using paper-and-pencil proof and computer simulation methods. However, the paper based proofs can be human-error prone and the simulation provides an incomplete analysis due to its sampling based nature and the inability to capture continuous behaviors in computer based models. Model checking has been recently advocated for the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.07378","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1807.07378","created_at":"2026-05-18T00:10:20.294478+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.07378v1","created_at":"2026-05-18T00:10:20.294478+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.07378","created_at":"2026-05-18T00:10:20.294478+00:00"},{"alias_kind":"pith_short_12","alias_value":"4FOEGPU5JR2Y","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"4FOEGPU5JR2Y5PJL","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"4FOEGPU5","created_at":"2026-05-18T12:32:05.422762+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN","json":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN.json","graph_json":"https://pith.science/api/pith-number/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/graph.json","events_json":"https://pith.science/api/pith-number/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/events.json","paper":"https://pith.science/paper/4FOEGPU5"},"agent_actions":{"view_html":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN","download_json":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN.json","view_paper":"https://pith.science/paper/4FOEGPU5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.07378&json=true","fetch_graph":"https://pith.science/api/pith-number/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/graph.json","fetch_events":"https://pith.science/api/pith-number/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/action/storage_attestation","attest_author":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/action/author_attestation","sign_citation":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/action/citation_signature","submit_replication":"https://pith.science/pith/4FOEGPU5JR2Y5PJLRAZ6EEHHVN/action/replication_record"}},"created_at":"2026-05-18T00:10:20.294478+00:00","updated_at":"2026-05-18T00:10:20.294478+00:00"}