{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6NZ2U6D55TX3DVU6W63TEWH2NN","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":"69941604397aa929e11a5db0bc14a6ed0f2dd908bb14a48cc9539bc92a748df2","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-12T02:29:42Z","title_canon_sha256":"e5786f5b9442559f303b97788d251182a74c409ef955b4bd46f6796589dd19cf"},"schema_version":"1.0","source":{"id":"1805.04636","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.04636","created_at":"2026-05-18T00:16:06Z"},{"alias_kind":"arxiv_version","alias_value":"1805.04636v1","created_at":"2026-05-18T00:16:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.04636","created_at":"2026-05-18T00:16:06Z"},{"alias_kind":"pith_short_12","alias_value":"6NZ2U6D55TX3","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6NZ2U6D55TX3DVU6","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6NZ2U6D5","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:18b2048835b8686a7432b52fbfd19fd3c9084cad4dac1ef0074816b804092c09","target":"graph","created_at":"2026-05-18T00:16:06Z","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":"This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development   and FM&MDD, the second workshop on  Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) held together on November 16, 2017 in Xi'an, China, as part of ICFEM 2017, 19th International Conference on Formal Engineering Methods.\n  IMPEX  emphasises  mechanisms for reducing heterogeneity of models  induced by the absence  of explicit semantics expression in the formal techniques used to specify these models. More precisely,","authors_text":"Dominique M\\'ery (LORIA, Elena Troubitsyna (Abo Akademi University, Finland), France), Japan), R\\'egine Laleau (LACL, Shin Nakajima (National Institute of Informatics, Turku, University of Lorraine, University of Paris-Est Cr\\'eteil","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-12T02:29:42Z","title":"Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.04636","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:5d85ebea02c8245f1eb7dd5a7b64de19343e2bf9508abe3d9d7f2d1357608a51","target":"record","created_at":"2026-05-18T00:16:06Z","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":"69941604397aa929e11a5db0bc14a6ed0f2dd908bb14a48cc9539bc92a748df2","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-12T02:29:42Z","title_canon_sha256":"e5786f5b9442559f303b97788d251182a74c409ef955b4bd46f6796589dd19cf"},"schema_version":"1.0","source":{"id":"1805.04636","kind":"arxiv","version":1}},"canonical_sha256":"f373aa787decefb1d69eb7b73258fa6b747d0fdc9bdc2dc1dc2d5555a90bd51d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f373aa787decefb1d69eb7b73258fa6b747d0fdc9bdc2dc1dc2d5555a90bd51d","first_computed_at":"2026-05-18T00:16:06.832334Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:06.832334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R69j8Vxi86KA3tVDdK4nZzGMlDu9oZuXHC7gXFJqF/9oJn8Ei6Vb41pNM8TZp1U71CpOyZNwiaLtypYfjLnmCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:06.832821Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.04636","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d85ebea02c8245f1eb7dd5a7b64de19343e2bf9508abe3d9d7f2d1357608a51","sha256:18b2048835b8686a7432b52fbfd19fd3c9084cad4dac1ef0074816b804092c09"],"state_sha256":"6e47f50edd64e0b6de3aa39b7da8051efb95efea322247b5c82d0ec37fda362a"}