{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002746642,0.00007419963,0.0000661313,0.00008711039,0.0002188072,0.00002881835,0.0003105139,0.00004152312,0.000002285413],"category_scores_gemma":[0.0000200439,0.00005138275,0.0000514402,0.00039967,0.0001378728,0.0002273552,6.081697e-7,0.0002035569,0.0000015724],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001417952,"about_ca_system_score_gemma":0.00002853131,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002204123,"about_ca_topic_score_gemma":0.0000012202,"domain_scores_codex":[0.9993552,0.00001118337,0.0001243202,0.0001249434,0.0002348554,0.0001494795],"domain_scores_gemma":[0.9993141,0.0002592299,0.00004102999,0.0003169428,0.00005033769,0.00001832401],"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.00000869364,0.00002823943,7.144599e-8,0.00001052498,0.000007880878,4.430889e-9,0.0004433001,0.9439737,0.04025624,0.0005620869,0.00001110439,0.01469815],"study_design_scores_gemma":[0.00006572419,0.00003514449,0.00003606284,0.00001442443,0.0000118803,4.262618e-7,0.00003916536,0.9707946,0.02887881,0.00001977022,0.00005505579,0.00004898386],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3623896,0.00002492967,0.6369298,0.0001017781,0.0001597444,0.000285922,0.000008153723,0.0000548616,0.00004522038],"genre_scores_gemma":[0.9898707,0.00003154695,0.01000675,0.00001870938,0.0000106948,0.00002558102,5.36728e-8,0.00001841674,0.00001760413],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6274811,"threshold_uncertainty_score":0.2095328,"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."}}