{"id":"W3122722131","doi":"10.1002/smr.2334","title":"A formal approach to rigorous development of critical systems","year":2021,"lang":"en","type":"article","venue":"Journal of Software Evolution and Process","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University; McMaster University Medical Centre","funders":"","keywords":"Toolchain; Computer science; Avionics; Life-critical system; Formal methods; Software engineering; Formal specification; Formal verification; Process (computing); Code generation; Domain (mathematical analysis); Model-based design; Software; Systems engineering; Programming language; Computer security; Engineering; Simulation","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.01471649,0.001168284,0.0005712713,0.002337107,0.001656321,0.00366319,0.003419597,0.001474116,0.003647874],"category_scores_gemma":[0.02635869,0.001264497,0.001986208,0.001044515,0.00933612,0.003945217,0.004134999,0.004403103,0.0005726713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003389687,"about_ca_system_score_gemma":0.005607005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004249346,"about_ca_topic_score_gemma":0.003426978,"domain_scores_codex":[0.9893627,0.005755412,0.0008095394,0.0005922776,0.003038642,0.0004415147],"domain_scores_gemma":[0.9676508,0.02381463,0.001596207,0.003234437,0.003292988,0.000410921],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001763691,0.00006432262,0.0002332264,0.0003059538,0.00002556085,0.0002053207,0.0007929187,0.03836822,0.001769258,0.9384557,0.0008140309,0.01894782],"study_design_scores_gemma":[0.00008552317,0.00009415798,0.0001215092,0.000405779,0.00004128887,0.0001970359,0.0002382641,0.1654732,0.004238154,0.7890834,0.03997296,0.00004868992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001110104,0.0001873145,0.9955225,0.0003593441,0.00003841691,0.0000990968,0.00001795735,0.000175932,0.002489365],"genre_scores_gemma":[0.08243985,0.000529619,0.9141224,0.000177628,0.00009935903,0.0005456985,0.00007478814,0.0001435655,0.001867118],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01471649,"threshold_uncertainty_score":0.07782918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02992850711224856,"score_gpt":0.3104433275643223,"score_spread":0.2805148204520738,"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."}}