{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.013402,0.0004693461,0.0008266082,0.0003768953,0.0006599116,0.00139414,0.003096863,0.0004472778,0.0004536536],"category_scores_gemma":[0.02504913,0.0004442244,0.0008155534,0.001110912,0.0002259899,0.0003245213,0.001787159,0.0006911638,0.0003342274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001506012,"about_ca_system_score_gemma":0.0004756257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000278434,"about_ca_topic_score_gemma":0.0005200796,"domain_scores_codex":[0.9898772,0.004859868,0.001534443,0.001795393,0.001458018,0.0004751226],"domain_scores_gemma":[0.9849804,0.004504852,0.001343817,0.003889482,0.00500002,0.0002814425],"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.0001604348,0.0006046474,0.004273882,0.0002909336,0.0003630608,0.000007467734,0.02384014,0.001047082,0.002911963,0.02830827,0.01491359,0.9232785],"study_design_scores_gemma":[0.002290987,0.00000299405,0.0445736,0.002181119,0.0005688352,0.00001329077,0.001413713,0.3662597,0.03642926,0.1898515,0.3538534,0.002561581],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03084291,0.0007311488,0.9184873,0.04397364,0.000362239,0.0009208455,0.0002632934,0.0002992646,0.004119421],"genre_scores_gemma":[0.7055607,0.0006734636,0.279934,0.0004419914,0.0001093531,0.0003836664,0.001033229,0.00009283546,0.01177073],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9207169,"threshold_uncertainty_score":0.999801,"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."}}