{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008988085,0.00007215811,0.0001809021,0.0001140598,0.0001017121,0.00006153512,0.0002680517,0.00005370216,0.000001197156],"category_scores_gemma":[0.0007495511,0.00006189982,0.00003011273,0.000356191,0.00003375128,0.0007668558,0.0000810016,0.0001204389,0.000001401434],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006579843,"about_ca_system_score_gemma":0.0004249414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.269526e-7,"about_ca_topic_score_gemma":2.255614e-7,"domain_scores_codex":[0.9987966,0.00007114826,0.0004829797,0.0001248125,0.0003738477,0.0001506402],"domain_scores_gemma":[0.9985245,0.00006110789,0.0002013075,0.0001208443,0.0009661649,0.0001260977],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003462105,0.00246771,0.009563439,0.008683101,0.0002193853,0.00006534631,0.05297196,0.007856628,0.002827371,0.5447631,0.0008834068,0.3693523],"study_design_scores_gemma":[0.009822361,0.004350347,0.2797596,0.006270094,0.0004071918,0.03352576,0.02596828,0.3954275,0.1445288,0.06027775,0.03495992,0.004702304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02656374,0.001043858,0.9717271,0.00006151361,0.0003593893,0.00005481007,8.852413e-7,0.00001744981,0.0001712572],"genre_scores_gemma":[0.4605828,0.000002416937,0.5393416,0.0000220129,0.00003124989,0.000003121503,2.348457e-7,0.000002257149,0.00001426115],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4844854,"threshold_uncertainty_score":0.2524201,"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."}}