{"id":"W4406716180","doi":"10.1007/978-3-031-82703-7","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; Indian Institute of Technology Delhi; Universidade Federal de Minas Gerais; Indian Institute of Technology Bombay; Ludwig-Maximilians-Universität München; University of Twente; Uppsala Universitet; Chinese Academy of Sciences; Aalborg Universitet; Technische Universiteit Delft; Tata Institute of Fundamental Research; Indian Institute of Science; Florida International University; York University; University of Southern California","keywords":"Computer science; Interpretation (philosophy); Model checking; Abstract interpretation; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002284073,0.0020004,0.002191859,0.001811957,0.001181514,0.004709628,0.002216903,0.001397358,0.01031505],"category_scores_gemma":[0.008346246,0.001503698,0.002836306,0.002974566,0.005500944,0.007320841,0.002456598,0.004843175,0.002552513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002403142,"about_ca_system_score_gemma":0.001935581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002824092,"about_ca_topic_score_gemma":0.00225149,"domain_scores_codex":[0.9963929,0.001097052,0.0002130744,0.0005089915,0.001543578,0.0002444213],"domain_scores_gemma":[0.9966515,0.002058452,0.0001582853,0.0008658004,0.0002280161,0.00003801464],"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.00008199141,0.00005356472,0.0001568155,0.0004030674,0.00004403114,0.00007725642,0.0001628341,0.01860133,0.002210032,0.8669342,0.01266878,0.09860611],"study_design_scores_gemma":[0.0000219022,0.00001261079,0.00005618942,0.00006276715,0.00002671912,0.00004894968,0.00001708845,0.01805073,0.001579267,0.9670379,0.01307202,0.00001380309],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004798422,0.006803825,0.9250618,0.001875833,0.0005376741,0.0001134828,0.0003545195,0.00269569,0.05775876],"genre_scores_gemma":[0.3262895,0.01453417,0.586654,0.001004422,0.001258502,0.0007320725,0.00182284,0.00237,0.06533445],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01031505,"threshold_uncertainty_score":0.03450733,"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."}}