{"id":"W2112020780","doi":"10.1109/ccece.2006.277745","title":"MDG-Based Verification of the Look-Aside Interface","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Aside; Programming language; Computer science; Interface (matter); Verilog; Formal verification; Model checking; Operating system","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.0003313407,0.00005760191,0.00006010873,0.00003556682,0.00004509283,0.00002915661,0.0008001634,0.0000325295,0.0000139824],"category_scores_gemma":[0.00005538188,0.00003949195,0.00004080752,0.0003060552,0.00005932802,0.00019618,0.00007188953,0.00005530682,0.00002667944],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003029387,"about_ca_system_score_gemma":0.00004087001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001013193,"about_ca_topic_score_gemma":0.00001029274,"domain_scores_codex":[0.9992895,0.0000888111,0.0001965256,0.0001563281,0.0001761439,0.00009265721],"domain_scores_gemma":[0.9989802,0.00004347255,0.0001219186,0.000769472,0.00007237914,0.00001261277],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000007257556,0.0001025203,0.002180135,0.00002115631,0.000003513424,1.365521e-7,0.00010695,0.005518532,0.08477255,0.8848031,0.001533868,0.02095029],"study_design_scores_gemma":[0.00009865775,0.00001899769,0.03176362,0.000009536782,0.000002018093,0.00000104839,0.000008084166,0.1721723,0.7901917,0.003534338,0.002139096,0.00006068674],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02749686,0.00002328291,0.9592332,0.0005309506,0.0002537773,0.0001125612,5.032549e-7,0.00007373294,0.01227515],"genre_scores_gemma":[0.6295517,2.7566e-7,0.3700452,0.00006663323,0.00001027234,0.000004756957,3.245284e-7,0.000002328452,0.0003184448],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8812687,"threshold_uncertainty_score":0.1610435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01476194491759714,"score_gpt":0.263560695311332,"score_spread":0.2487987503937348,"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."}}