{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:3H5YED3O7WXY4JATRV6NK7KEXU","short_pith_number":"pith:3H5YED3O","schema_version":"1.0","canonical_sha256":"d9fb820f6efdaf8e24138d7cd57d44bd1b9a16ec6657cde04741f38dc5e96dda","source":{"kind":"arxiv","id":"1210.5783","version":1},"attestation_state":"computed","paper":{"title":"Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.NI"],"primary_cat":"cs.SE","authors_text":"Francesco Tiezzi (IMT Institute for Advanced Studies Lucca, Italy), Josep Silva (Universitat Polit\\`ecnica de Val\\`encia, Spain)","submitted_at":"2012-10-22T00:17:53Z","abstract_excerpt":"This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16, 2012, as part of DisCoTec 2012.\n  WWV is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. WWV has a reputation for being a lively, friend"},"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":"1210.5783","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-22T00:17:53Z","cross_cats_sorted":["cs.FL","cs.NI"],"title_canon_sha256":"1ad7365388e9c8ce26ca0b9ac99380e0d66a89f8386ace7548066ac23bb8d486","abstract_canon_sha256":"73a36b940d441ae1635c1bcc6d3daaf50feb84b81323042e0115c664252570c7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:43.024918Z","signature_b64":"gamMVLxZ0sM33/U6F2uk2ugvx2jZODP9ZgyB5hX1mS81brS63TpSmKs8JpsacVHDT9sdJ6N+UiYyaKgh2OfgDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d9fb820f6efdaf8e24138d7cd57d44bd1b9a16ec6657cde04741f38dc5e96dda","last_reissued_at":"2026-05-18T03:42:43.024354Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:43.024354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.NI"],"primary_cat":"cs.SE","authors_text":"Francesco Tiezzi (IMT Institute for Advanced Studies Lucca, Italy), Josep Silva (Universitat Polit\\`ecnica de Val\\`encia, Spain)","submitted_at":"2012-10-22T00:17:53Z","abstract_excerpt":"This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16, 2012, as part of DisCoTec 2012.\n  WWV is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. WWV has a reputation for being a lively, friend"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.5783","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":"1210.5783","created_at":"2026-05-18T03:42:43.024442+00:00"},{"alias_kind":"arxiv_version","alias_value":"1210.5783v1","created_at":"2026-05-18T03:42:43.024442+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.5783","created_at":"2026-05-18T03:42:43.024442+00:00"},{"alias_kind":"pith_short_12","alias_value":"3H5YED3O7WXY","created_at":"2026-05-18T12:26:50.516681+00:00"},{"alias_kind":"pith_short_16","alias_value":"3H5YED3O7WXY4JAT","created_at":"2026-05-18T12:26:50.516681+00:00"},{"alias_kind":"pith_short_8","alias_value":"3H5YED3O","created_at":"2026-05-18T12:26:50.516681+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/3H5YED3O7WXY4JATRV6NK7KEXU","json":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU.json","graph_json":"https://pith.science/api/pith-number/3H5YED3O7WXY4JATRV6NK7KEXU/graph.json","events_json":"https://pith.science/api/pith-number/3H5YED3O7WXY4JATRV6NK7KEXU/events.json","paper":"https://pith.science/paper/3H5YED3O"},"agent_actions":{"view_html":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU","download_json":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU.json","view_paper":"https://pith.science/paper/3H5YED3O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1210.5783&json=true","fetch_graph":"https://pith.science/api/pith-number/3H5YED3O7WXY4JATRV6NK7KEXU/graph.json","fetch_events":"https://pith.science/api/pith-number/3H5YED3O7WXY4JATRV6NK7KEXU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU/action/storage_attestation","attest_author":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU/action/author_attestation","sign_citation":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU/action/citation_signature","submit_replication":"https://pith.science/pith/3H5YED3O7WXY4JATRV6NK7KEXU/action/replication_record"}},"created_at":"2026-05-18T03:42:43.024442+00:00","updated_at":"2026-05-18T03:42:43.024442+00:00"}