{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001277401,0.00005027106,0.0001257881,0.00008989244,0.00004581553,0.00003224307,0.0004834327,0.00003474127,0.000006825474],"category_scores_gemma":[0.0001302958,0.00003434917,0.00003720944,0.0007791315,0.00004210339,0.0001187908,0.00009060094,0.00004668904,0.00001607422],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003050246,"about_ca_system_score_gemma":0.00001597101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001813901,"about_ca_topic_score_gemma":0.000004724607,"domain_scores_codex":[0.9990157,0.0001742835,0.000255772,0.000234426,0.0002358188,0.00008395089],"domain_scores_gemma":[0.9986773,0.0001926483,0.0001018741,0.0007797736,0.0002028396,0.00004554905],"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.0000263393,0.0001224082,0.003175634,0.000116386,0.00003579289,2.094373e-7,0.00159183,0.0001705712,0.1585526,0.2592858,0.0002096221,0.5767128],"study_design_scores_gemma":[0.0002609388,0.0001714561,0.1097718,0.00004751796,0.0000357446,0.00001061128,0.001649385,0.7565014,0.04889259,0.001305062,0.08112678,0.000226696],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03632827,0.00006214889,0.9612561,0.001420434,0.00001467348,0.0002506532,7.528475e-7,0.00004391824,0.0006230042],"genre_scores_gemma":[0.8615076,0.00004217222,0.1383727,0.00002036518,0.00001492311,0.00001425137,0.000001225794,0.000002995438,0.00002379878],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8251793,"threshold_uncertainty_score":0.1400718,"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."}}