{"id":"W4207091891","doi":"","title":"ASTERIOS Checker : A Verification Tool for Certifying Airborne Software","year":2020,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Risk and Safety Analysis","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Safran Electronics (Canada)","funders":"","keywords":"Computer science; Programming language; Model checking; Software engineering; Software; Software verification; Formal verification; Verification and validation; Software construction; Software system; Engineering","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.003628935,0.001370544,0.0009426554,0.001750683,0.0004838272,0.001950179,0.002092848,0.001216116,0.01728246],"category_scores_gemma":[0.01009724,0.0009667709,0.001355234,0.0007861445,0.001365506,0.003263174,0.002712346,0.001552973,0.003575534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006411138,"about_ca_system_score_gemma":0.00242331,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002313931,"about_ca_topic_score_gemma":0.002481572,"domain_scores_codex":[0.9967245,0.0005680905,0.0003066943,0.0005547081,0.001575532,0.0002704741],"domain_scores_gemma":[0.9934637,0.003342877,0.0005252836,0.00181494,0.0007386121,0.000114624],"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.001501597,0.0003109795,0.007848106,0.00199806,0.0005383222,0.002037714,0.0005295209,0.1359525,0.08885472,0.09786276,0.1063024,0.5562634],"study_design_scores_gemma":[0.0005647185,0.0004379812,0.00255268,0.0004535494,0.000316334,0.001396285,0.000100442,0.6750709,0.1619987,0.05807577,0.09887405,0.0001585661],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0156599,0.0002232459,0.865032,0.0001998392,0.000171522,0.0001225733,0.001331883,0.1111125,0.006146546],"genre_scores_gemma":[0.484537,0.0005613455,0.4766613,0.0005909633,0.0001645266,0.000238753,0.005949346,0.01668516,0.01461168],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.01728246,"threshold_uncertainty_score":0.05781555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07663404372519148,"score_gpt":0.3133870306642646,"score_spread":0.2367529869390731,"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."}}