{"id":"W1549035077","doi":"10.1007/11609773_25","title":"Systematic Construction of Abstractions for Model-Checking","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Constructive; Model checking; Interpretation (philosophy); Abstract interpretation; Programming language; Theoretical computer science; Process (computing)","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.003877039,0.00155439,0.001865678,0.001880062,0.001479347,0.002824479,0.003706376,0.001439562,0.00463207],"category_scores_gemma":[0.01236434,0.002742909,0.004000347,0.001775645,0.003182132,0.005058515,0.00682041,0.005877067,0.002246876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001303069,"about_ca_system_score_gemma":0.003413634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001510934,"about_ca_topic_score_gemma":0.002336628,"domain_scores_codex":[0.9952933,0.001433894,0.0004317048,0.00060086,0.001718933,0.0005211826],"domain_scores_gemma":[0.9915792,0.003901357,0.0002932599,0.003314495,0.0007495063,0.0001621258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002542298,0.0002010564,0.001255199,0.001093125,0.0001729105,0.0004668584,0.001219225,0.04731102,0.0178496,0.6778071,0.007625696,0.244744],"study_design_scores_gemma":[0.00007959784,0.00007517344,0.0002468069,0.0002551724,0.000188568,0.0002082183,0.0001264627,0.1239748,0.02222892,0.8261387,0.02640921,0.0000683159],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00292592,0.0001330094,0.9933606,0.00006619201,0.00003437778,0.00009847666,0.00008574122,0.00199483,0.001300851],"genre_scores_gemma":[0.09289112,0.0004027824,0.9019886,0.00009876813,0.00003830429,0.0004270198,0.0005620215,0.001123833,0.002467464],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00463207,"threshold_uncertainty_score":0.020504,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03704111236810689,"score_gpt":0.2962497621532289,"score_spread":0.259208649785122,"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."}}