{"id":"W6966852693","doi":"10.48550/arxiv.1108.2349","title":"Specification and Verification of Context-dependent Services","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Correctness; Formal verification; Formal methods; Formal specification; Model checking; Service (business); Automaton","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005235876,0.0001973873,0.0002678942,0.0002101052,0.00007123104,0.0000533914,0.001380853,0.0002393767,0.00001432322],"category_scores_gemma":[0.00002121811,0.0002345693,0.00008807028,0.0002709363,0.0001193106,0.0005241907,0.0008333217,0.0002684818,0.00002974227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008937515,"about_ca_system_score_gemma":0.00005472433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002647196,"about_ca_topic_score_gemma":0.00001562156,"domain_scores_codex":[0.9984393,0.0001721783,0.0003136118,0.0008195913,0.00009792409,0.0001574395],"domain_scores_gemma":[0.9975594,0.00003932747,0.0005744018,0.001514748,0.0002278593,0.00008424264],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003931228,0.00009474928,0.004304079,0.0003326845,0.00006066524,0.00000593878,0.001092946,0.002729741,0.0004960696,0.9768425,0.000008310297,0.01399305],"study_design_scores_gemma":[0.0008295805,0.0001720153,0.07054705,0.0002413115,0.0002060046,0.00001059258,0.0007468746,0.7777756,0.017734,0.1295877,0.001161997,0.0009873299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2203013,0.0002702585,0.7760065,0.00001653372,0.0003983802,0.0003044091,0.000009941345,0.000115844,0.002576742],"genre_scores_gemma":[0.9634421,0.000420958,0.03587351,0.00001940475,0.00002628033,0.000001671635,0.00001189438,0.0000104072,0.0001937843],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8472548,"threshold_uncertainty_score":0.956546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.115172065157544,"score_gpt":0.2070091709671081,"score_spread":0.09183710580956407,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}