{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:APOWLHB3IG3RO5347BUDQ7RG6M","short_pith_number":"pith:APOWLHB3","schema_version":"1.0","canonical_sha256":"03dd659c3b41b717777cf868387e26f3006a7499bc0d8f778a8684bb3557e69b","source":{"kind":"arxiv","id":"1203.0920","version":2},"attestation_state":"computed","paper":{"title":"Fluid Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.LO","authors_text":"Jane Hillston, Luca Bortolussi","submitted_at":"2012-03-05T14:00:02Z","abstract_excerpt":"In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the behaviour of a single agent in a (large) population of agents, exploiting a limit result known also as fast simulation. In particular, we will approximate the behaviour of a single agent with a time-inhomogeneous CTMC which depends on the environment and on the other agents only through the solution of the fluid differential equation. We will prove the asymptotic correctness of our approach in terms of satisfiability o"},"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":"1203.0920","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-05T14:00:02Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"1fadbb758d4c6a5d97fa270bb46d89c78c124d382f92a550e1a396a88f3703f7","abstract_canon_sha256":"3112e4b1b99eb32bfaf9d45cb68c9a179dc77261a4726aa64dca22b07ff2129c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:36:04.657090Z","signature_b64":"HBuIsKlkMljPLu3HFeo87/I7gxhTKnar3aJLHqj84ZbSvifS4NLGas0kBdLmvrLKZ6LAN0JFzbqs+zhBQCaXDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03dd659c3b41b717777cf868387e26f3006a7499bc0d8f778a8684bb3557e69b","last_reissued_at":"2026-05-18T03:36:04.656577Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:36:04.656577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fluid Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.LO","authors_text":"Jane Hillston, Luca Bortolussi","submitted_at":"2012-03-05T14:00:02Z","abstract_excerpt":"In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the behaviour of a single agent in a (large) population of agents, exploiting a limit result known also as fast simulation. In particular, we will approximate the behaviour of a single agent with a time-inhomogeneous CTMC which depends on the environment and on the other agents only through the solution of the fluid differential equation. We will prove the asymptotic correctness of our approach in terms of satisfiability o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0920","kind":"arxiv","version":2},"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":"1203.0920","created_at":"2026-05-18T03:36:04.656663+00:00"},{"alias_kind":"arxiv_version","alias_value":"1203.0920v2","created_at":"2026-05-18T03:36:04.656663+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0920","created_at":"2026-05-18T03:36:04.656663+00:00"},{"alias_kind":"pith_short_12","alias_value":"APOWLHB3IG3R","created_at":"2026-05-18T12:26:58.693483+00:00"},{"alias_kind":"pith_short_16","alias_value":"APOWLHB3IG3RO534","created_at":"2026-05-18T12:26:58.693483+00:00"},{"alias_kind":"pith_short_8","alias_value":"APOWLHB3","created_at":"2026-05-18T12:26:58.693483+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/APOWLHB3IG3RO5347BUDQ7RG6M","json":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M.json","graph_json":"https://pith.science/api/pith-number/APOWLHB3IG3RO5347BUDQ7RG6M/graph.json","events_json":"https://pith.science/api/pith-number/APOWLHB3IG3RO5347BUDQ7RG6M/events.json","paper":"https://pith.science/paper/APOWLHB3"},"agent_actions":{"view_html":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M","download_json":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M.json","view_paper":"https://pith.science/paper/APOWLHB3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1203.0920&json=true","fetch_graph":"https://pith.science/api/pith-number/APOWLHB3IG3RO5347BUDQ7RG6M/graph.json","fetch_events":"https://pith.science/api/pith-number/APOWLHB3IG3RO5347BUDQ7RG6M/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M/action/timestamp_anchor","attest_storage":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M/action/storage_attestation","attest_author":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M/action/author_attestation","sign_citation":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M/action/citation_signature","submit_replication":"https://pith.science/pith/APOWLHB3IG3RO5347BUDQ7RG6M/action/replication_record"}},"created_at":"2026-05-18T03:36:04.656663+00:00","updated_at":"2026-05-18T03:36:04.656663+00:00"}