{"id":"W1559445291","doi":"10.1007/11691372_14","title":"Why Waste a Perfectly Good Abstraction?","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Abstraction; Model checking; Programming language; Construct (python library); Negation; Theoretical computer science; Software; Overhead (engineering)","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.007952931,0.001037559,0.001559357,0.001260622,0.002499676,0.004296211,0.00247453,0.002926854,0.01414541],"category_scores_gemma":[0.02824795,0.00109081,0.001226202,0.0009777057,0.01224829,0.02311198,0.00756011,0.00862815,0.006017597],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001704219,"about_ca_system_score_gemma":0.002503217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001130397,"about_ca_topic_score_gemma":0.001307641,"domain_scores_codex":[0.9938979,0.00143772,0.0002778794,0.0006310116,0.002746682,0.001008969],"domain_scores_gemma":[0.9866865,0.003859846,0.000651646,0.006274296,0.001709188,0.0008186023],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009186869,0.00003857315,0.0003377975,0.0002435951,0.00005249788,0.0001442843,0.0008136884,0.001544247,0.001049167,0.9266786,0.02807977,0.04092597],"study_design_scores_gemma":[0.0000205879,0.00002949565,0.00008570836,0.0001130381,0.00002987722,0.0001305419,0.0003015795,0.0009160094,0.001118364,0.9283428,0.06889264,0.00001922057],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03610815,0.01040146,0.6615169,0.1293358,0.007651179,0.0001413913,0.0004635528,0.005384966,0.1489965],"genre_scores_gemma":[0.6462508,0.007069839,0.2085516,0.02882276,0.0025685,0.0003711776,0.0003413069,0.003698797,0.1023252],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01414541,"threshold_uncertainty_score":0.04732108,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01894644267695774,"score_gpt":0.2649961078419883,"score_spread":0.2460496651650305,"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."}}