{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001773187,0.000288105,0.0003928193,0.0004434408,0.0001204381,0.0001377773,0.001875472,0.0003542764,0.000002801945],"category_scores_gemma":[0.00004168421,0.0003510213,0.0001360575,0.0005397189,0.00004593625,0.0006984029,0.001043554,0.0006521768,0.00003994428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005814753,"about_ca_system_score_gemma":0.0001256964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003402142,"about_ca_topic_score_gemma":0.00002581413,"domain_scores_codex":[0.9972544,0.000452222,0.000491698,0.001296775,0.0001355008,0.0003694583],"domain_scores_gemma":[0.9970991,0.00006143595,0.000551059,0.002001485,0.0001286626,0.0001582359],"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.000009301506,0.00003076946,0.001144626,0.0001227014,0.00001042723,0.0004718886,0.0001456146,0.862489,0.00001317797,0.1350593,0.000004301791,0.0004988819],"study_design_scores_gemma":[0.0001943658,0.00003445876,0.0001166249,0.0002158726,0.00001935946,0.00005438022,0.00008707181,0.9915972,0.00006668946,0.00712839,0.0001196015,0.0003659886],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.180087,0.00001589105,0.8174438,0.000006992741,0.0008461626,0.0002405075,0.000002483893,0.000327135,0.00103007],"genre_scores_gemma":[0.7851411,0.00001115106,0.2145423,0.000009878361,0.00007697811,0.000001734201,0.00001475003,0.00001680582,0.00018537],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6050541,"threshold_uncertainty_score":0.9998942,"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."}}