{"id":"W7095822863","doi":"","title":"Application of tabular methods to the specification and verification 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":"Shutdown; Suite; Software; Nuclear power; Selection (genetic algorithm); Verification and validation","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.01257603,0.0009752575,0.000644056,0.001981592,0.001330521,0.003028792,0.001591478,0.001112184,0.004669892],"category_scores_gemma":[0.03161519,0.0009264978,0.001190386,0.001669104,0.003118783,0.002949266,0.001749693,0.001871479,0.001091291],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001656861,"about_ca_system_score_gemma":0.004287589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004582117,"about_ca_topic_score_gemma":0.006871792,"domain_scores_codex":[0.9889549,0.007122929,0.0009270585,0.0006749268,0.001959372,0.000360808],"domain_scores_gemma":[0.9685622,0.02252227,0.00198068,0.003611384,0.003122255,0.0002011826],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003106662,0.0001224078,0.002249832,0.001886671,0.0001340351,0.0007452725,0.002663146,0.1851683,0.01537224,0.3737836,0.005572752,0.411991],"study_design_scores_gemma":[0.0002060723,0.0004237011,0.0005955275,0.0009491572,0.0001324167,0.0006964862,0.0004782636,0.6370266,0.04767893,0.2014307,0.1102243,0.0001579172],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002421858,0.0001464515,0.994863,0.00009612993,0.00002591302,0.00008645579,0.00006537742,0.001007213,0.001287683],"genre_scores_gemma":[0.05742313,0.0004548032,0.939574,0.0001588781,0.00002167984,0.0003306344,0.0002556429,0.0003521596,0.001429044],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01257603,"threshold_uncertainty_score":0.06650919,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02339976052834601,"score_gpt":0.3190532773774816,"score_spread":0.2956535168491356,"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."}}