{"id":"W2169604423","doi":"10.1109/ccece.2000.849693","title":"The impact of design changes on verification using MDGs","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Scheme for Promotion of Academic and Research Collaboration; University of Cambridge","keywords":"Computer science; Formal verification; Functional verification; Intelligent verification; Compromise; Verification; Formal methods; Electronic system-level design and verification; Software engineering; Programming language; Reliability engineering; Engineering; Software; Software development","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.01475328,0.0009657872,0.0007549717,0.000929667,0.0007195347,0.001393673,0.001412531,0.001460499,0.002913504],"category_scores_gemma":[0.1017702,0.0008028139,0.001145968,0.0005368722,0.002124242,0.002931889,0.001465402,0.002716024,0.000368007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001528302,"about_ca_system_score_gemma":0.001527998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001612748,"about_ca_topic_score_gemma":0.001449065,"domain_scores_codex":[0.9745189,0.01403897,0.001090724,0.001710986,0.007460545,0.001179805],"domain_scores_gemma":[0.8089565,0.1641179,0.005710969,0.01573687,0.005011699,0.0004659482],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001599714,0.0004266734,0.009173896,0.001180189,0.0002875372,0.001184496,0.0007426661,0.7563314,0.03021922,0.04826691,0.001123957,0.1494633],"study_design_scores_gemma":[0.0003449844,0.000960495,0.002445278,0.0001854602,0.0002997159,0.0003088892,0.0002486541,0.8826992,0.06227063,0.04158337,0.008569458,0.00008393441],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3518726,0.001015794,0.6313424,0.002597413,0.0003349165,0.0005928794,0.0002146073,0.002287589,0.00974185],"genre_scores_gemma":[0.8281981,0.0003302234,0.1691177,0.0004490936,0.00004396052,0.0003310051,0.0001268529,0.0002691545,0.001133858],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01475328,"threshold_uncertainty_score":0.07802373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2093637952260649,"score_gpt":0.3650632383727629,"score_spread":0.155699443146698,"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."}}