{"id":"W1569134779","doi":"10.1109/icm.2001.997659","title":"Automating the verification of parameterized hardware using a hybrid tool","year":2001,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Parameterized complexity; Computer science; Intelligent verification; Automated theorem proving; Formal verification; Programming language; Computer architecture; Gas meter prover; Computer engineering; Algorithm; Software; Mathematical proof; Software construction; Software development; Mathematics","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.0007549587,0.00007441161,0.0001026514,0.00004787591,0.0001119682,0.00008116611,0.0006573096,0.00002242274,0.00001817665],"category_scores_gemma":[0.0002582261,0.00005254745,0.00004627897,0.0003531099,0.00004577679,0.0005035002,0.0001005999,0.00006318646,0.00001232598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003257294,"about_ca_system_score_gemma":0.00003088997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002733824,"about_ca_topic_score_gemma":3.836097e-7,"domain_scores_codex":[0.9990243,0.0001516763,0.0002949619,0.000183102,0.000205936,0.0001400109],"domain_scores_gemma":[0.9988779,0.00009751368,0.0001944111,0.0007213664,0.00008987696,0.0000189036],"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.00002572374,0.00009532311,0.001739063,0.00004942591,0.00003265571,0.000004141442,0.001151178,0.001172327,0.2833995,0.189595,0.0001263367,0.5226093],"study_design_scores_gemma":[0.0001135869,0.00002194273,0.006912271,0.00001317723,0.000004046853,0.00004264861,0.00002864499,0.9323103,0.05900108,0.00104141,0.0004276127,0.00008325474],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3451647,0.00001139744,0.6537381,0.00008583786,0.0001242893,0.0001232529,5.356839e-7,0.00009956563,0.0006523617],"genre_scores_gemma":[0.4536164,0.000003349118,0.5462669,0.00005998019,0.00001257877,0.000007760556,6.756008e-7,0.000003089188,0.00002928054],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.931138,"threshold_uncertainty_score":0.2142823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06201272197669026,"score_gpt":0.3140011513428423,"score_spread":0.251988429366152,"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."}}