{"id":"W4406714353","doi":"10.1007/978-3-031-82700-6","title":"Verification, Model Checking, and Abstract Interpretation","year":2025,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Institute of Software, Chinese Academy of Sciences; University of California, Davis; Indian Institute of Technology Delhi; Universidade Federal de Minas Gerais; Indian Institute of Technology Bombay; Ludwig-Maximilians-Universität München; Uppsala Universitet; Chinese Academy of Sciences; Vysoké Učení Technické v Brně; Sorbonne Université; University of Twente; Aalborg Universitet; Technische Universiteit Delft; Tata Institute of Fundamental Research; Institute of Science and Technology Austria; Indian Institute of Science; Florida International University; York University; University of Southern California","keywords":"Computer science; Programming language; Interpretation (philosophy); Model checking; Abstract interpretation","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001461649,0.0003569008,0.00034643,0.0008269909,0.0002100216,0.0006147582,0.002567237,0.0003054079,0.000002585462],"category_scores_gemma":[0.000361091,0.0003580066,0.00006033024,0.0009187479,0.0004870639,0.001105035,0.0008026649,0.0006623855,0.000009779158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004761988,"about_ca_system_score_gemma":0.001356766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007906929,"about_ca_topic_score_gemma":0.000009090611,"domain_scores_codex":[0.9970621,0.00004981543,0.0005305096,0.001334586,0.0006171013,0.0004058312],"domain_scores_gemma":[0.9976599,0.0002860367,0.0003293202,0.001343743,0.00028279,0.00009818481],"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.000005241196,0.00002110928,0.00001648544,0.0001067204,0.000005635373,0.000003218318,0.001413783,0.08291514,0.0001856287,0.02835447,0.0001016556,0.8868709],"study_design_scores_gemma":[0.00009452212,0.00003072209,0.0004001993,0.0002905505,0.00000486002,0.000009323841,1.159536e-7,0.8770392,0.001337513,0.1201806,0.0003161837,0.0002962135],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006040062,0.0003445734,0.9919516,0.0002975941,0.001111935,0.0003542151,0.000003440149,0.0001646665,0.005711515],"genre_scores_gemma":[0.03787329,0.00005850087,0.9603415,0.0007910093,0.0001115718,0.00002358627,0.000008850059,0.00001431353,0.000777363],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8865747,"threshold_uncertainty_score":0.9998872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01985804601459425,"score_gpt":0.2924629040149825,"score_spread":0.2726048580003883,"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."}}