{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001510129,0.001785075,0.001392511,0.002276981,0.0008792715,0.003777555,0.002735901,0.001386637,0.06724998],"category_scores_gemma":[0.005555473,0.001751705,0.001865545,0.001492486,0.0007640185,0.006397686,0.003014267,0.002387606,0.06180749],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007075608,"about_ca_system_score_gemma":0.001792575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001595249,"about_ca_topic_score_gemma":0.002138383,"domain_scores_codex":[0.9970834,0.0005327332,0.0002050458,0.0007534972,0.00114337,0.0002820036],"domain_scores_gemma":[0.9973685,0.000697971,0.00009515031,0.001273154,0.0004980307,0.00006723491],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0009068252,0.0002739505,0.002189599,0.0005923106,0.0001516332,0.000388925,0.0003228969,0.002897784,0.02274314,0.0994715,0.3698913,0.5001701],"study_design_scores_gemma":[0.0002254157,0.0001353977,0.001720369,0.0002134222,0.0002284937,0.001204806,0.0002061093,0.06240632,0.1098345,0.1103811,0.7132636,0.0001804545],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007409723,0.0007065156,0.5542204,0.0006333346,0.0004717926,0.0002998688,0.00551465,0.3366242,0.09411953],"genre_scores_gemma":[0.1379146,0.001079813,0.5198135,0.001962321,0.0003240911,0.0005309393,0.03159899,0.1265308,0.1802449],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06724998,"threshold_uncertainty_score":0.2249736,"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."}}