{"id":"W2013047129","doi":"10.1016/s1571-0661(05)80492-x","title":"Tabular Verification and Refinement","year":2002,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Structuring; Programming language; Theoretical computer science; Formal methods; Refinement calculus; Model checking; Formal verification","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009534254,0.0008195516,0.0009086334,0.001473798,0.001540759,0.003536039,0.002214378,0.001338086,0.008853312],"category_scores_gemma":[0.03232998,0.0008698007,0.002579391,0.002530799,0.005143821,0.009344632,0.004692031,0.002933214,0.002150826],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002010799,"about_ca_system_score_gemma":0.002716631,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004675459,"about_ca_topic_score_gemma":0.003393125,"domain_scores_codex":[0.9893607,0.004243228,0.0008490593,0.001587452,0.003049528,0.0009100658],"domain_scores_gemma":[0.978898,0.00887719,0.001188061,0.007402729,0.003406052,0.0002279325],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001761055,0.00003492075,0.0005993096,0.0003730703,0.0000450914,0.0001439356,0.0007061943,0.01449341,0.003774199,0.8816749,0.00395867,0.09402023],"study_design_scores_gemma":[0.0001038296,0.000140272,0.0003126322,0.0002616316,0.0001107407,0.0002596691,0.0002637535,0.1073234,0.02394828,0.8033589,0.06382817,0.00008880362],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005532792,0.0004629811,0.9837605,0.0004681044,0.0001418616,0.0001509689,0.0002405339,0.001754739,0.007487569],"genre_scores_gemma":[0.228579,0.00142712,0.7563143,0.001003605,0.0001737312,0.0004910944,0.00109782,0.000945955,0.009967394],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009534254,"threshold_uncertainty_score":0.05042255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01139834959913236,"score_gpt":0.2321185270958059,"score_spread":0.2207201774966735,"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."}}