{"id":"W2186159877","doi":"","title":"Application of Tabular Methods to the Speciflcation and Veriflcation of a Nuclear Reactor Shutdown System","year":2001,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Suite; Software; Software engineering; Shutdown; Process (computing); Nuclear power; Systems engineering; Computer science; Work (physics); Selection (genetic algorithm); Engineering; Operating system; Artificial intelligence; Mechanical engineering","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01559391,0.0008962913,0.0006123544,0.00261168,0.001490806,0.003738191,0.001952386,0.001286704,0.006026592],"category_scores_gemma":[0.04995199,0.0009617035,0.00109726,0.001527241,0.003994355,0.004070354,0.002046975,0.002195921,0.001278689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001752076,"about_ca_system_score_gemma":0.004577676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003965791,"about_ca_topic_score_gemma":0.005430401,"domain_scores_codex":[0.9856573,0.009015455,0.001051491,0.0009728161,0.002875503,0.0004274352],"domain_scores_gemma":[0.9525173,0.03279401,0.003384193,0.006412486,0.004622045,0.0002700656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000298593,0.0001319546,0.002402991,0.001637735,0.0001076748,0.0005800026,0.002842428,0.09688604,0.01345667,0.3205379,0.006822708,0.5542952],"study_design_scores_gemma":[0.0002765892,0.0004505205,0.0008254059,0.001272672,0.0001614345,0.0008216282,0.0005998196,0.5501455,0.06043772,0.2345239,0.1502788,0.0002060781],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002947661,0.0001676519,0.9933748,0.0001585765,0.00003732843,0.000119665,0.00007264489,0.001467289,0.001654401],"genre_scores_gemma":[0.05798117,0.0004424402,0.9389037,0.0001863552,0.00003346142,0.0003164537,0.000265487,0.0004006636,0.001470218],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01559391,"threshold_uncertainty_score":0.0824694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01813443198710177,"score_gpt":0.3180393741988065,"score_spread":0.2999049422117047,"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."}}