{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RXA7TZGDKVZ4GAF5LGRA6CPT3I","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":"29b6ee79eb6101689451c77322f422d1ed079925ded4f3a62c91e14966847c65","cross_cats_sorted":["cs.CE","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-15T07:16:39Z","title_canon_sha256":"18d7622faf12b8c47e8c33a1a66db10aae4f463447e03eb0081649a1e374d5ff"},"schema_version":"1.0","source":{"id":"1703.05812","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.05812","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"arxiv_version","alias_value":"1703.05812v1","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.05812","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"pith_short_12","alias_value":"RXA7TZGDKVZ4","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"RXA7TZGDKVZ4GAF5","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"RXA7TZGD","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:745a8d4eb6cdec9e25579cc9867f7cf6fccb85fa8ee170885695c2b467a13ec2","target":"graph","created_at":"2026-05-18T00:48:32Z","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 proceedings of MARS 2017, the second workshop on Models for Formal Analysis of Real Systems, held on April 29, 2017 in Uppala, Sweden, as an affiliated workshop of ETAPS 2017, the European Joint Conferences on Theory and Practice of Software.\n  The workshop emphasises modelling over verification. It aims at discussing the lessons learned from making formal methods for the verification and analysis of realistic systems. Examples are: \n  (1) Which formalism is chosen, and why? \n  (2) Which abstractions have to be made and why? \n  (3) How are important characteristics of ","authors_text":"Holger Hermanns, Peter H\\\"ofner","cross_cats":["cs.CE","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-15T07:16:39Z","title":"Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.05812","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:3c52a4e0adb4fd6b2bf2d288a2da3765488090a3008dcebfcfe011c4774be5e3","target":"record","created_at":"2026-05-18T00:48:32Z","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":"29b6ee79eb6101689451c77322f422d1ed079925ded4f3a62c91e14966847c65","cross_cats_sorted":["cs.CE","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-15T07:16:39Z","title_canon_sha256":"18d7622faf12b8c47e8c33a1a66db10aae4f463447e03eb0081649a1e374d5ff"},"schema_version":"1.0","source":{"id":"1703.05812","kind":"arxiv","version":1}},"canonical_sha256":"8dc1f9e4c35573c300bd59a20f09f3da0f51e9ef0a59a52e735371d682803e1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8dc1f9e4c35573c300bd59a20f09f3da0f51e9ef0a59a52e735371d682803e1a","first_computed_at":"2026-05-18T00:48:32.029169Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:32.029169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QsctAwfZSVZ6W6N5tcdul6bbVjnNhq5G+0azD2LkmSC3QslPOTSB+UV4hA3F/oV9phn8KLT8+yDST8YeLIyoBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:32.029747Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.05812","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c52a4e0adb4fd6b2bf2d288a2da3765488090a3008dcebfcfe011c4774be5e3","sha256:745a8d4eb6cdec9e25579cc9867f7cf6fccb85fa8ee170885695c2b467a13ec2"],"state_sha256":"f0b4bc10234fa145ca71e4a84f87248ce96ca744ac8551d110102e13ce5277d4"}