{"id":"W2134071399","doi":"10.1016/j.tcs.2004.09.024","title":"Verification and refinement with fine-grained action-based concurrent objects","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Programming language; Guard (computer science); Action (physics); Object (grammar); Contrast (vision); Object-oriented programming; Theoretical computer science; Artificial intelligence","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.0006839195,0.0001569078,0.0001497857,0.0001137259,0.0003386818,0.0004066672,0.0007804786,0.00003525586,0.000006473926],"category_scores_gemma":[0.00003213725,0.0001085521,0.00002636477,0.000695827,0.001355695,0.0003037455,0.0001864932,0.0001121391,0.00002445592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008395707,"about_ca_system_score_gemma":0.000232084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001655918,"about_ca_topic_score_gemma":0.000006805178,"domain_scores_codex":[0.9982364,0.00005100572,0.0001868349,0.0006176145,0.0005373207,0.0003708105],"domain_scores_gemma":[0.9989481,0.00007428966,0.00008046148,0.0005266387,0.0001636729,0.0002068289],"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.000006174777,0.00006111474,0.00006056525,0.00001291492,0.000002651372,0.000005958462,0.0003998888,0.000303632,0.0003019327,0.9649741,0.000005482467,0.0338656],"study_design_scores_gemma":[0.004624094,0.003945408,0.006935044,0.00009413832,0.00003052124,0.0001767989,0.00006664912,0.5941646,0.03862647,0.3478606,0.002211183,0.001264507],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01911665,0.00003103868,0.9781118,0.001114153,0.0004127893,0.0002333754,2.644951e-7,0.0001879984,0.0007919219],"genre_scores_gemma":[0.9550126,0.000001505909,0.04464597,0.0002415513,0.0000691365,0.00001792409,0.000001361651,0.000004826751,0.000005163702],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9358959,"threshold_uncertainty_score":0.4995116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01870921835086767,"score_gpt":0.2573882610341376,"score_spread":0.23867904268327,"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."}}