{"id":"W1876221940","doi":"10.1007/11560548_8","title":"How Thorough Is Thorough Enough?","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Counterexample; Abstraction; Model checking; Key (lock); Abstraction model checking; Theoretical computer science; Programming language; Computer security; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03400465,0.001191816,0.001629081,0.003371336,0.002074701,0.009301563,0.002372761,0.003454576,0.01583455],"category_scores_gemma":[0.1404823,0.001104243,0.001126608,0.001597628,0.004021632,0.02264736,0.00493289,0.003821698,0.00830928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002442873,"about_ca_system_score_gemma":0.007635519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001921146,"about_ca_topic_score_gemma":0.003577912,"domain_scores_codex":[0.9812862,0.008458948,0.00194113,0.001619137,0.005747199,0.0009474743],"domain_scores_gemma":[0.8927252,0.04654082,0.006999239,0.01051052,0.03751773,0.00570647],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001668549,0.0001875631,0.005105223,0.003614724,0.0003336628,0.0004504243,0.005292345,0.001033227,0.003529708,0.1464296,0.4358007,0.398056],"study_design_scores_gemma":[0.00005534135,0.0001194137,0.003458933,0.004541454,0.0003114794,0.0009314395,0.003716053,0.0009168641,0.002528586,0.1937685,0.7895491,0.0001029803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.02303638,0.09219302,0.2503214,0.4205664,0.02326755,0.0009597751,0.001211842,0.00512288,0.1833207],"genre_scores_gemma":[0.271567,0.06621115,0.3506112,0.1044665,0.01338773,0.00203446,0.002356003,0.008438697,0.1809273],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03400465,"threshold_uncertainty_score":0.179836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03237070675910247,"score_gpt":0.2823814480485241,"score_spread":0.2500107412894216,"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."}}