{"id":"W1611084195","doi":"10.1007/978-3-540-31987-0_3","title":"The ASTREÉ Analyzer","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":392,"is_retracted":false,"has_abstract":false,"ca_institutions":"Canadian Nautical Research Society","funders":"","keywords":"Computer science; Correctness; Programming language; Abstract interpretation; Spectrum analyzer; Software; Computation; Interpretation (philosophy); Memory safety; Algorithm","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.002118374,0.0004294483,0.0003325042,0.0004658281,0.0005627992,0.0009085581,0.005991729,0.0002637662,0.00001725994],"category_scores_gemma":[0.0002115775,0.0003083553,0.0001361201,0.0007063766,0.001006748,0.000735786,0.001337664,0.0008999537,0.000134927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003527882,"about_ca_system_score_gemma":0.0004357259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007494677,"about_ca_topic_score_gemma":0.00005478779,"domain_scores_codex":[0.9963566,0.00006604697,0.0005512753,0.001226811,0.001112367,0.0006869154],"domain_scores_gemma":[0.9963131,0.0005935624,0.0003428851,0.002359983,0.0002486473,0.0001418394],"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.000001939082,0.000006467779,0.000009969367,0.000004242532,0.000005077837,0.000007422012,0.0001595332,0.005541658,0.00001952085,0.1172775,0.00003171916,0.8769349],"study_design_scores_gemma":[0.0001306784,0.00009873121,0.0002458997,0.0001207005,0.000006756848,0.00006094652,1.037345e-7,0.7784787,0.001203026,0.1566699,0.06240315,0.0005814215],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001044008,0.0006916474,0.9840439,0.00134867,0.002213926,0.0002744714,0.00000161361,0.0001568073,0.0112585],"genre_scores_gemma":[0.006581463,0.0001237531,0.9901561,0.0009903105,0.0007270952,0.00001069536,0.0000015024,0.00002630843,0.001382756],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8763535,"threshold_uncertainty_score":0.9999369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02170910406121952,"score_gpt":0.2778863502023117,"score_spread":0.2561772461410922,"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."}}