{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:5MM2X7U7EIDKCDPAGAJIZXWWFZ","short_pith_number":"pith:5MM2X7U7","schema_version":"1.0","canonical_sha256":"eb19abfe9f2206a10de030128cded62e5fae9022f3609b429a080e0bdd75a2fa","source":{"kind":"arxiv","id":"1503.05317","version":1},"attestation_state":"computed","paper":{"title":"Model Checking AORTA: Verification of Organization-Aware Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MA","authors_text":"Andreas Schmidt Jensen","submitted_at":"2015-03-18T09:35:16Z","abstract_excerpt":"As agent systems grow larger and more complex, there is an increasing need to formally verify them. Furthermore, it is often suggested that complex systems can be regulated using organizational models, imposing constraints on the agents in the systems. Agents that can understand the organizational model and constraints in a system is said to be organization-aware. This paper is concerned with verification of organization-aware agents. We show how agents using AORTA, a framework for making agents organization-aware, can be formally verified using an extended version of the Agent Java PathFinder"},"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":"1503.05317","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-03-18T09:35:16Z","cross_cats_sorted":[],"title_canon_sha256":"5867dfa2bcf62bd3d1cf2503b1d198f46c1190343496758cdd759b93bc71eaca","abstract_canon_sha256":"bfa65f12d27ad4ab9dd5212739abda2417e5a762d90de0dfd57a90d3e0463856"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:50.783971Z","signature_b64":"BA/Z9NEq6rz806SzvkTHnpSJt3Ez7NZzMyndOMOaipc1TGsjGp1lPRNYNMpVE/VZyJ0ZawwASUHJxHp3TC4SDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb19abfe9f2206a10de030128cded62e5fae9022f3609b429a080e0bdd75a2fa","last_reissued_at":"2026-05-18T02:21:50.783260Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:50.783260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model Checking AORTA: Verification of Organization-Aware Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MA","authors_text":"Andreas Schmidt Jensen","submitted_at":"2015-03-18T09:35:16Z","abstract_excerpt":"As agent systems grow larger and more complex, there is an increasing need to formally verify them. Furthermore, it is often suggested that complex systems can be regulated using organizational models, imposing constraints on the agents in the systems. Agents that can understand the organizational model and constraints in a system is said to be organization-aware. This paper is concerned with verification of organization-aware agents. We show how agents using AORTA, a framework for making agents organization-aware, can be formally verified using an extended version of the Agent Java PathFinder"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.05317","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":"1503.05317","created_at":"2026-05-18T02:21:50.783384+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.05317v1","created_at":"2026-05-18T02:21:50.783384+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.05317","created_at":"2026-05-18T02:21:50.783384+00:00"},{"alias_kind":"pith_short_12","alias_value":"5MM2X7U7EIDK","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_16","alias_value":"5MM2X7U7EIDKCDPA","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_8","alias_value":"5MM2X7U7","created_at":"2026-05-18T12:29:05.191682+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/5MM2X7U7EIDKCDPAGAJIZXWWFZ","json":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ.json","graph_json":"https://pith.science/api/pith-number/5MM2X7U7EIDKCDPAGAJIZXWWFZ/graph.json","events_json":"https://pith.science/api/pith-number/5MM2X7U7EIDKCDPAGAJIZXWWFZ/events.json","paper":"https://pith.science/paper/5MM2X7U7"},"agent_actions":{"view_html":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ","download_json":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ.json","view_paper":"https://pith.science/paper/5MM2X7U7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.05317&json=true","fetch_graph":"https://pith.science/api/pith-number/5MM2X7U7EIDKCDPAGAJIZXWWFZ/graph.json","fetch_events":"https://pith.science/api/pith-number/5MM2X7U7EIDKCDPAGAJIZXWWFZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ/action/storage_attestation","attest_author":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ/action/author_attestation","sign_citation":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ/action/citation_signature","submit_replication":"https://pith.science/pith/5MM2X7U7EIDKCDPAGAJIZXWWFZ/action/replication_record"}},"created_at":"2026-05-18T02:21:50.783384+00:00","updated_at":"2026-05-18T02:21:50.783384+00:00"}