{"id":"W2058949335","doi":"10.1109/tc.2009.165","title":"Formal Reliability Analysis Using Theorem Proving","year":2009,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Computer science; Reliability (semiconductor); Automated theorem proving; Reliability engineering; Probabilistic logic; Reliability theory; Formal methods; Computer engineering; Theoretical computer science; Programming language; Failure rate; Power (physics); Artificial intelligence; Engineering","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.0007184122,0.0001776944,0.0002244421,0.0004270762,0.0003388696,0.0001600164,0.0007328701,0.00007892358,0.000007694131],"category_scores_gemma":[0.000006876763,0.0001723315,0.000259159,0.001604935,0.00005305539,0.001232851,0.000003653051,0.0002442141,0.00001227895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001735523,"about_ca_system_score_gemma":0.00005104296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001856068,"about_ca_topic_score_gemma":0.000001848585,"domain_scores_codex":[0.998345,0.0001828014,0.0003373425,0.0004754746,0.0003127216,0.000346613],"domain_scores_gemma":[0.9986838,0.000106445,0.0001134489,0.0009028707,0.00008932773,0.0001040962],"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.00001821617,0.0001473578,0.00001148482,0.000005083694,0.00006722813,0.000002209124,0.0004960466,0.7093714,0.0004620905,0.005549098,0.000007235553,0.2838626],"study_design_scores_gemma":[0.0001579026,0.0001464717,0.0008766453,0.00001240764,0.00008050614,0.000009361,0.00001253467,0.9869298,0.01068594,0.0008591705,0.00003591566,0.0001933693],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02760608,0.000004626705,0.9706182,0.0001599116,0.0008246241,0.000199449,0.000002453664,0.0003391012,0.0002455135],"genre_scores_gemma":[0.5216944,0.000001452398,0.4780701,0.0002016095,0.00001711379,0.000003032071,3.590441e-7,0.000003527589,0.00000840155],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4940884,"threshold_uncertainty_score":0.7027473,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02671225330995575,"score_gpt":0.2919145740459249,"score_spread":0.2652023207359691,"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."}}