{"id":"W49053417","doi":"","title":"Modelling an Aircraft Landing System in Event-B (Full Report)","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Avionics; Computer science; Benchmark (surveying); Formal methods; Reliability engineering; Process (computing); Event (particle physics); Formal verification; Reliability (semiconductor); Software; Life-critical system; Complex system; Software system; Software engineering; Systems engineering; Programming language; 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.0008229876,0.0006673838,0.00022605,0.0005846429,0.0003499265,0.001896712,0.0008914592,0.001256726,0.01303367],"category_scores_gemma":[0.001750953,0.0003528501,0.0009272798,0.0003346791,0.0005482098,0.001260432,0.0009437019,0.0008150758,0.002375261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006153809,"about_ca_system_score_gemma":0.000899629,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0100172,"about_ca_topic_score_gemma":0.00614968,"domain_scores_codex":[0.9995036,0.000143711,0.00003696488,0.00008873809,0.000166717,0.00006031011],"domain_scores_gemma":[0.9993277,0.000346233,0.00008874303,0.000100191,0.00009944503,0.00003770493],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004954568,0.0001842158,0.004833594,0.0005419572,0.0000555664,0.003464214,0.001424946,0.4976938,0.02309399,0.416258,0.007413235,0.04454115],"study_design_scores_gemma":[0.0001502994,0.0002397521,0.001659775,0.0001321826,0.0000713201,0.0008779122,0.0002709331,0.7931364,0.01188348,0.06957629,0.1219385,0.00006308514],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.042228,0.0003142423,0.9264488,0.000527602,0.0001246147,0.0003630837,0.0022971,0.003473305,0.0242233],"genre_scores_gemma":[0.5792196,0.0009142524,0.3656647,0.0001721595,0.00006311302,0.0008023913,0.003598638,0.0006655956,0.04889954],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01303367,"threshold_uncertainty_score":0.04360193,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1129481208627115,"score_gpt":0.2305808663598306,"score_spread":0.1176327454971191,"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."}}