{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YG7324KBTU7H3PV6HUDIMJDTZG","short_pith_number":"pith:YG7324KB","canonical_record":{"source":{"id":"1803.08668","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-23T06:30:11Z","cross_cats_sorted":["cs.FL","cs.PL"],"title_canon_sha256":"7883f1d52123cf98dd13b3c24558e103c16f0f8ac863e6d539f42af51b1d8711","abstract_canon_sha256":"32a91e1197c508e13c7f87298edb303ff527b952e50103ef87722e8f55067b96"},"schema_version":"1.0"},"canonical_sha256":"c1bfbd71419d3e7dbebe3d06862473c9b8b6ed914e398f59d0f49428319b423f","source":{"kind":"arxiv","id":"1803.08668","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.08668","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"arxiv_version","alias_value":"1803.08668v1","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.08668","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"pith_short_12","alias_value":"YG7324KBTU7H","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YG7324KBTU7H3PV6","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YG7324KB","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YG7324KBTU7H3PV6HUDIMJDTZG","target":"record","payload":{"canonical_record":{"source":{"id":"1803.08668","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-23T06:30:11Z","cross_cats_sorted":["cs.FL","cs.PL"],"title_canon_sha256":"7883f1d52123cf98dd13b3c24558e103c16f0f8ac863e6d539f42af51b1d8711","abstract_canon_sha256":"32a91e1197c508e13c7f87298edb303ff527b952e50103ef87722e8f55067b96"},"schema_version":"1.0"},"canonical_sha256":"c1bfbd71419d3e7dbebe3d06862473c9b8b6ed914e398f59d0f49428319b423f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:18.911032Z","signature_b64":"i/9sbfDwcvnqe5/DdEALYUClXzv8nlb0BvfZaJzgcDbCotxfVZqI4dh82XXDUDU4fA4qkb1hXSVcR0z0Q6aMAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1bfbd71419d3e7dbebe3d06862473c9b8b6ed914e398f59d0f49428319b423f","last_reissued_at":"2026-05-18T00:20:18.910324Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:18.910324Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.08668","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:20:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b4jCPz/WkBYNHxCG43kThv5VKG5LaCWdSyrIwOCLHDsAuG7xizYaaj7OWpw9PxFjE6ekDUVGGFWVPGXxyE1/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:48:10.078693Z"},"content_sha256":"a271fcc57322e7b7a4a28228617cea646a97f0b613b589097f22268502a166eb","schema_version":"1.0","event_id":"sha256:a271fcc57322e7b7a4a28228617cea646a97f0b613b589097f22268502a166eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YG7324KBTU7H3PV6HUDIMJDTZG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.PL"],"primary_cat":"cs.LO","authors_text":"John P. Gallagher, Rob van Glabbeek, Wendelin Serwe","submitted_at":"2018-03-23T06:30:11Z","abstract_excerpt":"This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20, 2018 in Thessaloniki, Greece, as part of ETAPS 2018, the European Joint Conferences on Theory and Practice of Software.\n  MARS 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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.08668","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:20:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8z6iS28vd5VnybV69VuNs3A/MBRWwAsQDKwRGeBoeEwp6KgGn77R1hCHEabLBZJWFGwoTB5i7nzdxmHDUM73Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:48:10.079369Z"},"content_sha256":"bba92e28d180a85b3ccab35333725eacb8a9db4b8c64ba89692dc46ff94d4a18","schema_version":"1.0","event_id":"sha256:bba92e28d180a85b3ccab35333725eacb8a9db4b8c64ba89692dc46ff94d4a18"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YG7324KBTU7H3PV6HUDIMJDTZG/bundle.json","state_url":"https://pith.science/pith/YG7324KBTU7H3PV6HUDIMJDTZG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YG7324KBTU7H3PV6HUDIMJDTZG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T17:48:10Z","links":{"resolver":"https://pith.science/pith/YG7324KBTU7H3PV6HUDIMJDTZG","bundle":"https://pith.science/pith/YG7324KBTU7H3PV6HUDIMJDTZG/bundle.json","state":"https://pith.science/pith/YG7324KBTU7H3PV6HUDIMJDTZG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YG7324KBTU7H3PV6HUDIMJDTZG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YG7324KBTU7H3PV6HUDIMJDTZG","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":"32a91e1197c508e13c7f87298edb303ff527b952e50103ef87722e8f55067b96","cross_cats_sorted":["cs.FL","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-23T06:30:11Z","title_canon_sha256":"7883f1d52123cf98dd13b3c24558e103c16f0f8ac863e6d539f42af51b1d8711"},"schema_version":"1.0","source":{"id":"1803.08668","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.08668","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"arxiv_version","alias_value":"1803.08668v1","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.08668","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"pith_short_12","alias_value":"YG7324KBTU7H","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YG7324KBTU7H3PV6","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YG7324KB","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:bba92e28d180a85b3ccab35333725eacb8a9db4b8c64ba89692dc46ff94d4a18","target":"graph","created_at":"2026-05-18T00:20:18Z","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 MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20, 2018 in Thessaloniki, Greece, as part of ETAPS 2018, the European Joint Conferences on Theory and Practice of Software.\n  MARS 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","authors_text":"John P. Gallagher, Rob van Glabbeek, Wendelin Serwe","cross_cats":["cs.FL","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-23T06:30:11Z","title":"Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.08668","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:a271fcc57322e7b7a4a28228617cea646a97f0b613b589097f22268502a166eb","target":"record","created_at":"2026-05-18T00:20:18Z","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":"32a91e1197c508e13c7f87298edb303ff527b952e50103ef87722e8f55067b96","cross_cats_sorted":["cs.FL","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-23T06:30:11Z","title_canon_sha256":"7883f1d52123cf98dd13b3c24558e103c16f0f8ac863e6d539f42af51b1d8711"},"schema_version":"1.0","source":{"id":"1803.08668","kind":"arxiv","version":1}},"canonical_sha256":"c1bfbd71419d3e7dbebe3d06862473c9b8b6ed914e398f59d0f49428319b423f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1bfbd71419d3e7dbebe3d06862473c9b8b6ed914e398f59d0f49428319b423f","first_computed_at":"2026-05-18T00:20:18.910324Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:18.910324Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i/9sbfDwcvnqe5/DdEALYUClXzv8nlb0BvfZaJzgcDbCotxfVZqI4dh82XXDUDU4fA4qkb1hXSVcR0z0Q6aMAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:18.911032Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.08668","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a271fcc57322e7b7a4a28228617cea646a97f0b613b589097f22268502a166eb","sha256:bba92e28d180a85b3ccab35333725eacb8a9db4b8c64ba89692dc46ff94d4a18"],"state_sha256":"72177faae7843f5c98121e70d01f603148717041ae257e2fbd528454491030cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q1RNhwWggsp9/9aY8qY5fIlIYqNayWj62MLX4VkUsjtcMkk6Vxi7Ly78F6edGD8fs9SKtAtBeivWxhykD7WeBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:48:10.083387Z","bundle_sha256":"625f50c275d4b7ea766321da3d8681017af9a8a80bc619fe6f27ed3709c57717"}}