{"id":"W171159096","doi":"10.1007/978-1-4471-5260-6_4","title":"Critical System Development Methodology","year":2013,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Software engineering; Code generation; Model checking; Formal methods; Formal verification; Programming language; Code (set theory); Set (abstract data type)","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.0007841435,0.0009167005,0.000303719,0.00182709,0.0006843383,0.001659304,0.001072543,0.0006430452,0.02437864],"category_scores_gemma":[0.001428654,0.0004889827,0.000347626,0.0008941061,0.001387809,0.001867345,0.0009041801,0.001443217,0.008607235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001572196,"about_ca_system_score_gemma":0.001932146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001151991,"about_ca_topic_score_gemma":0.001611487,"domain_scores_codex":[0.9994748,0.0001168328,0.00002229043,0.00008271857,0.0002729137,0.00003045514],"domain_scores_gemma":[0.9994205,0.000278423,0.00002565412,0.00008507465,0.0001661641,0.00002416734],"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.000009301931,0.00002982613,0.00008613679,0.0004357414,0.00001038792,0.0000663767,0.000405303,0.001803563,0.001494902,0.5520326,0.08747494,0.3561509],"study_design_scores_gemma":[0.000006544308,0.00002031483,0.0001036936,0.0003265074,0.000008338501,0.0001774875,0.00007015045,0.002516827,0.001953563,0.1887934,0.8060144,0.00000880214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001422082,0.01474542,0.5346574,0.002548355,0.001020143,0.0002906738,0.0001723441,0.001237053,0.4439066],"genre_scores_gemma":[0.05714018,0.02375002,0.2403161,0.001401461,0.0005916235,0.0005931474,0.0005667979,0.001089109,0.6745515],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02437864,"threshold_uncertainty_score":0.08155465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.168401596617037,"score_gpt":0.3484222941730373,"score_spread":0.1800206975560002,"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."}}