{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009812902,0.001481841,0.000923123,0.002440994,0.0009599308,0.003044241,0.002721859,0.001074855,0.005016435],"category_scores_gemma":[0.0184385,0.0006793467,0.002900562,0.001569178,0.004491819,0.003457438,0.002605685,0.003426216,0.001384462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00175068,"about_ca_system_score_gemma":0.002558835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001533377,"about_ca_topic_score_gemma":0.0007592884,"domain_scores_codex":[0.9929957,0.002665469,0.0006137066,0.00073563,0.002474614,0.0005149808],"domain_scores_gemma":[0.9846859,0.01171131,0.000761256,0.001564362,0.001162513,0.0001146212],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003515345,0.0000839167,0.0003674974,0.0006023109,0.00007437225,0.000377344,0.0003692447,0.0598423,0.003291639,0.879589,0.002635126,0.05273214],"study_design_scores_gemma":[0.00005577727,0.0000506068,0.000136826,0.0001533687,0.00005025767,0.0002095612,0.00004990457,0.117942,0.004772114,0.8600991,0.01644456,0.00003591271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001211138,0.0003205615,0.9952188,0.0002077323,0.00004217108,0.00005447189,0.00006646146,0.0003643693,0.002514323],"genre_scores_gemma":[0.1483316,0.002715855,0.8440773,0.0004484825,0.0004538937,0.0007219534,0.0005029975,0.0002721943,0.002475655],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009812902,"threshold_uncertainty_score":0.05189621,"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."}}