{"id":"W2914080670","doi":"","title":"Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing","year":2009,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Software verification; Software engineering; Verification; Software; Intelligent verification; Programming language; Software construction; Software system","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.008301756,0.001175048,0.001474563,0.001453169,0.001355685,0.003785139,0.001429886,0.001379005,0.01555102],"category_scores_gemma":[0.008668496,0.0007655125,0.001805259,0.0005747092,0.002567742,0.002833585,0.002231871,0.002364596,0.002942918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002367585,"about_ca_system_score_gemma":0.005081628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009047505,"about_ca_topic_score_gemma":0.01260885,"domain_scores_codex":[0.996347,0.001447777,0.0002475353,0.0003171367,0.00129951,0.0003410323],"domain_scores_gemma":[0.9916682,0.003460702,0.0001581263,0.001990464,0.002418647,0.0003036646],"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.002405422,0.0006446308,0.00556657,0.0005873871,0.0005602968,0.001041943,0.0009854111,0.03171984,0.02600639,0.1291628,0.1212235,0.6800959],"study_design_scores_gemma":[0.0003769717,0.0007198458,0.005420044,0.0005902876,0.0005629803,0.001412318,0.0004866523,0.3272351,0.1062918,0.1712613,0.3854776,0.0001650205],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.04124813,0.006153845,0.8758264,0.007277014,0.007805048,0.0004652363,0.00049672,0.002604361,0.05812322],"genre_scores_gemma":[0.4953628,0.00720078,0.3677669,0.00135645,0.00243978,0.0003909178,0.002807295,0.001931984,0.120743],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01555102,"threshold_uncertainty_score":0.05202335,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01780360263690948,"score_gpt":0.201220993659039,"score_spread":0.1834173910221295,"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."}}