{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:7OMTOIEZ5FZ55NWZM7OFGNMPAD","short_pith_number":"pith:7OMTOIEZ","schema_version":"1.0","canonical_sha256":"fb99372099e973deb6d967dc53358f00f452dfcba0416f62cd2532e712763896","source":{"kind":"arxiv","id":"1407.1952","version":1},"attestation_state":"computed","paper":{"title":"Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"CNRS, F-93430, France), Laure Petrucci (Universit\\'e Paris 13, LIPN, Shang-Wei Lin, Sorbonne Paris Cit\\'e, UMR 7030, Villetaneuse","submitted_at":"2014-07-08T05:10:05Z","abstract_excerpt":"This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as a satellite event of the 19th International Symposium on Formal Methods (FM'14).\n  FSFMA aims at sharing research interests and launching collaborations in the area of formal methods and their applications. The scientific subject of the workshop covers (but is not limited to) areas such as formal specification, model checking, verification, program analysis/transformation, software engineering, and applications in ma"},"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":"1407.1952","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-08T05:10:05Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"8a95a10928e871ac0941c2380d9d8d11f727847ad48fc85c6f567e1922890d03","abstract_canon_sha256":"664eff994646d6bdc528012277dc4e38c5bc75767ffdb548ec848474ccf73519"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:08.805862Z","signature_b64":"9QyUveZnmBuiWM+wDd4IKZA/H420qZ3UdolKqAbuuW1F4CUska8/Fusoyrd+5bE4KRjGGc3SPaSS1SzyxuGsBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb99372099e973deb6d967dc53358f00f452dfcba0416f62cd2532e712763896","last_reissued_at":"2026-05-18T02:48:08.805356Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:08.805356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"CNRS, F-93430, France), Laure Petrucci (Universit\\'e Paris 13, LIPN, Shang-Wei Lin, Sorbonne Paris Cit\\'e, UMR 7030, Villetaneuse","submitted_at":"2014-07-08T05:10:05Z","abstract_excerpt":"This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as a satellite event of the 19th International Symposium on Formal Methods (FM'14).\n  FSFMA aims at sharing research interests and launching collaborations in the area of formal methods and their applications. The scientific subject of the workshop covers (but is not limited to) areas such as formal specification, model checking, verification, program analysis/transformation, software engineering, and applications in ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1952","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":"1407.1952","created_at":"2026-05-18T02:48:08.805429+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.1952v1","created_at":"2026-05-18T02:48:08.805429+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1952","created_at":"2026-05-18T02:48:08.805429+00:00"},{"alias_kind":"pith_short_12","alias_value":"7OMTOIEZ5FZ5","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_16","alias_value":"7OMTOIEZ5FZ55NWZ","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_8","alias_value":"7OMTOIEZ","created_at":"2026-05-18T12:28:19.803747+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/7OMTOIEZ5FZ55NWZM7OFGNMPAD","json":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD.json","graph_json":"https://pith.science/api/pith-number/7OMTOIEZ5FZ55NWZM7OFGNMPAD/graph.json","events_json":"https://pith.science/api/pith-number/7OMTOIEZ5FZ55NWZM7OFGNMPAD/events.json","paper":"https://pith.science/paper/7OMTOIEZ"},"agent_actions":{"view_html":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD","download_json":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD.json","view_paper":"https://pith.science/paper/7OMTOIEZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.1952&json=true","fetch_graph":"https://pith.science/api/pith-number/7OMTOIEZ5FZ55NWZM7OFGNMPAD/graph.json","fetch_events":"https://pith.science/api/pith-number/7OMTOIEZ5FZ55NWZM7OFGNMPAD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD/action/storage_attestation","attest_author":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD/action/author_attestation","sign_citation":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD/action/citation_signature","submit_replication":"https://pith.science/pith/7OMTOIEZ5FZ55NWZM7OFGNMPAD/action/replication_record"}},"created_at":"2026-05-18T02:48:08.805429+00:00","updated_at":"2026-05-18T02:48:08.805429+00:00"}