{"id":"W2161684365","doi":"10.1109/tns.2005.855819","title":"On the use of model checking for the verification of a dynamic signature monitoring approach","year":2005,"lang":"en","type":"article","venue":"IEEE Transactions on Nuclear Science","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal; Polytechnique Montréal","funders":"","keywords":"Computer science; Fault injection; Completeness (order theory); Reliability engineering; Signature (topology); Fault coverage; Reliability (semiconductor); Model checking; Fault detection and isolation; Fault model; Cover (algebra); Event (particle physics); Error detection and correction; Fault (geology); Stuck-at fault; Fault Simulator; Computer engineering; Algorithm; Electronic circuit; Engineering; Artificial intelligence; Software","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.005613205,0.001415832,0.001088057,0.001890712,0.0008379075,0.002943665,0.002373385,0.00153382,0.002222321],"category_scores_gemma":[0.01949767,0.0009276863,0.002534546,0.001100346,0.003112261,0.003845772,0.002439781,0.002059717,0.0004848345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001633495,"about_ca_system_score_gemma":0.003330601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005869736,"about_ca_topic_score_gemma":0.004570652,"domain_scores_codex":[0.9938413,0.002555488,0.0003656507,0.0004596544,0.002384643,0.0003932116],"domain_scores_gemma":[0.9839762,0.009931155,0.0009053706,0.003889981,0.001167617,0.0001296582],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003587861,0.0002559111,0.002203828,0.0004295256,0.0002050416,0.0004990079,0.0003301882,0.5605403,0.02805525,0.2966041,0.00111314,0.1094049],"study_design_scores_gemma":[0.00004739825,0.0001407187,0.0001809656,0.0001076835,0.00006784871,0.0001362628,0.00002273092,0.8944364,0.01281518,0.088763,0.003239356,0.00004241659],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008071236,0.0002099516,0.9883732,0.0002131631,0.0000280534,0.00007309244,0.00004335571,0.00129192,0.001696082],"genre_scores_gemma":[0.4145392,0.0008574997,0.5815261,0.0002826375,0.00005737204,0.000372107,0.0002999553,0.0004328334,0.001632302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005869736,"threshold_uncertainty_score":0.02968585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03076268547013992,"score_gpt":0.2445851695159596,"score_spread":0.2138224840458197,"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."}}