{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:SKYLQJEKNG6LSM4XF4IYIWLFCT","short_pith_number":"pith:SKYLQJEK","schema_version":"1.0","canonical_sha256":"92b0b8248a69bcb933972f1184596514e68f4f6930b6bcd2d5fecc5d6bf78819","source":{"kind":"arxiv","id":"1708.07230","version":1},"attestation_state":"computed","paper":{"title":"Control-Flow Residual Analysis for Symbolic Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Christian Colombo (University of Malta), Gordon J. Pace (University of Malta), Shaun Azzopardi (University of Malta)","submitted_at":"2017-08-24T00:38:45Z","abstract_excerpt":"Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring overhead. In this paper we generalise existing work which uses control-flow static analysis to optimise properties specified as automata, and prove how similar analysis can be applied to more expressive sym"},"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":"1708.07230","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-24T00:38:45Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e20030a315248c59cffd6c4653a3f195dc4a760d34bf0330d41ab5b8c81ea6f4","abstract_canon_sha256":"62070089385a54f5ab6bb8a6003b7c0fac4f75fc01e7964dc362e88b36b341bf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:46.838671Z","signature_b64":"ebAXMz7iIsujmAI+uBI9qtLrPnmI62a1uypKxPv8rv9k/DPB8XYcX2xYcDNc2F/Eu3Ig6NPtqoy5VMRmPTC2Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92b0b8248a69bcb933972f1184596514e68f4f6930b6bcd2d5fecc5d6bf78819","last_reissued_at":"2026-05-18T00:36:46.838119Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:46.838119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Control-Flow Residual Analysis for Symbolic Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Christian Colombo (University of Malta), Gordon J. Pace (University of Malta), Shaun Azzopardi (University of Malta)","submitted_at":"2017-08-24T00:38:45Z","abstract_excerpt":"Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring overhead. In this paper we generalise existing work which uses control-flow static analysis to optimise properties specified as automata, and prove how similar analysis can be applied to more expressive sym"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.07230","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":"1708.07230","created_at":"2026-05-18T00:36:46.838196+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.07230v1","created_at":"2026-05-18T00:36:46.838196+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.07230","created_at":"2026-05-18T00:36:46.838196+00:00"},{"alias_kind":"pith_short_12","alias_value":"SKYLQJEKNG6L","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"SKYLQJEKNG6LSM4X","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"SKYLQJEK","created_at":"2026-05-18T12:31:43.269735+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/SKYLQJEKNG6LSM4XF4IYIWLFCT","json":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT.json","graph_json":"https://pith.science/api/pith-number/SKYLQJEKNG6LSM4XF4IYIWLFCT/graph.json","events_json":"https://pith.science/api/pith-number/SKYLQJEKNG6LSM4XF4IYIWLFCT/events.json","paper":"https://pith.science/paper/SKYLQJEK"},"agent_actions":{"view_html":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT","download_json":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT.json","view_paper":"https://pith.science/paper/SKYLQJEK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.07230&json=true","fetch_graph":"https://pith.science/api/pith-number/SKYLQJEKNG6LSM4XF4IYIWLFCT/graph.json","fetch_events":"https://pith.science/api/pith-number/SKYLQJEKNG6LSM4XF4IYIWLFCT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT/action/storage_attestation","attest_author":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT/action/author_attestation","sign_citation":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT/action/citation_signature","submit_replication":"https://pith.science/pith/SKYLQJEKNG6LSM4XF4IYIWLFCT/action/replication_record"}},"created_at":"2026-05-18T00:36:46.838196+00:00","updated_at":"2026-05-18T00:36:46.838196+00:00"}