{"id":"W2432950841","doi":"10.1016/j.jal.2016.05.007","title":"Formalization of Reliability Block Diagrams in Higher-order Logic","year":2016,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"Qatar National Research Fund","keywords":"Computer science; HOL; Reliability block diagram; Correctness; Automated theorem proving; Theoretical computer science; Reliability (semiconductor); Mathematical proof; Maintainability; Block (permutation group theory); Formal verification; Programming language; Algorithm; Reliability engineering; Fault tree analysis; Mathematics","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.001705409,0.0001036484,0.0002541433,0.0001615047,0.00002716118,0.00001905318,0.0006662504,0.000102013,0.00002615278],"category_scores_gemma":[0.0002081895,0.00006191879,0.00006201104,0.000553388,0.00007906996,0.0004412858,0.00009880024,0.0001337526,0.000009226383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001059561,"about_ca_system_score_gemma":0.00005895118,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001785026,"about_ca_topic_score_gemma":9.732906e-7,"domain_scores_codex":[0.9984985,0.00008819788,0.0007327549,0.0001649694,0.0003316688,0.00018393],"domain_scores_gemma":[0.9984389,0.0001528099,0.0007289558,0.0003765695,0.0002476394,0.00005510158],"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.0001522946,0.0003500822,0.003069944,0.00005736661,0.00001393124,0.00000685149,0.0004041607,0.002982307,0.02255018,0.9009915,0.0001661939,0.06925519],"study_design_scores_gemma":[0.002928596,0.001019127,0.1077694,0.0001565452,0.00002542743,0.00006451226,0.00007194984,0.006135715,0.0573642,0.8194351,0.004559444,0.0004700069],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09936161,0.00005424869,0.8938946,0.001022314,0.0004943551,0.0001882663,7.889805e-7,0.00002210738,0.004961721],"genre_scores_gemma":[0.6894662,0.00004420847,0.3103109,0.0001069865,0.00004466836,0.000003941545,1.650844e-7,0.000003552157,0.00001944003],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5901046,"threshold_uncertainty_score":0.2524975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04105063957027853,"score_gpt":0.2843084071889894,"score_spread":0.2432577676187109,"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."}}