{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005927972,0.00005992756,0.00005663796,0.00004812289,0.000109832,0.00005182812,0.0004754191,0.00002811609,0.00001538639],"category_scores_gemma":[0.0001637795,0.00003564396,0.00003242942,0.000273308,0.00003672426,0.0001370948,0.00003001426,0.00004449021,0.00002334067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005751666,"about_ca_system_score_gemma":0.00001072722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000360938,"about_ca_topic_score_gemma":6.461534e-7,"domain_scores_codex":[0.9993502,0.0001441466,0.0001150935,0.0001259453,0.0001437718,0.0001208721],"domain_scores_gemma":[0.9991114,0.0001428506,0.0001037861,0.0005345122,0.00008333994,0.00002414624],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002026188,0.0001158917,0.0001035327,0.000006109842,0.00002595822,3.966284e-7,0.001249611,0.009230123,0.05047214,0.1806466,0.00135611,0.7567733],"study_design_scores_gemma":[0.0000493601,0.0001762587,0.002150538,0.000005087519,0.000001306619,0.000002088581,0.000009539735,0.9352402,0.06136941,0.0007895353,0.0001549343,0.00005175069],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01094017,0.00006444083,0.9863667,0.0001533637,0.0001529469,0.0001311035,2.598621e-7,0.00004868524,0.002142364],"genre_scores_gemma":[0.4603154,0.00004128739,0.5394473,0.0000251426,0.0000257521,0.000005613767,1.005747e-7,0.000003638757,0.0001357268],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9260101,"threshold_uncertainty_score":0.1453519,"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."}}