{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00129695,0.0001375605,0.0001495801,0.0001521749,0.0002029396,0.0003144812,0.001145544,0.00004759457,0.00003188292],"category_scores_gemma":[0.00009030849,0.0001136023,0.00002618202,0.0008916041,0.0008634956,0.0003652695,0.0003809933,0.0002053727,0.00004982488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001279365,"about_ca_system_score_gemma":0.0000484902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008396035,"about_ca_topic_score_gemma":0.000003705971,"domain_scores_codex":[0.997903,0.0000850792,0.0002365295,0.0006621244,0.0004161893,0.0006970046],"domain_scores_gemma":[0.9990425,0.0001334484,0.00005468783,0.0005931112,0.00005963055,0.0001165993],"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.000001025421,0.00004293604,0.000202737,0.000004023095,0.000001449319,0.000003956529,0.0003359942,0.00002081203,0.0001890358,0.8822631,0.000007374416,0.1169275],"study_design_scores_gemma":[0.0002723687,0.0003490915,0.000652809,0.000005436865,0.000002076565,0.00003227132,0.000002725126,0.6030686,0.002304071,0.39091,0.002180788,0.0002197041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01304314,0.0006480824,0.9834272,0.001194944,0.0002458112,0.0001743794,6.172724e-8,0.0001043099,0.001162062],"genre_scores_gemma":[0.9836162,0.00005283059,0.01601413,0.0002235597,0.0000643218,0.00001420928,2.868686e-7,0.000004722063,0.000009771537],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.970573,"threshold_uncertainty_score":0.4632567,"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."}}