{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002588118,0.0006968082,0.0005801036,0.001278167,0.0006630945,0.00232826,0.001292402,0.0009466228,0.005849896],"category_scores_gemma":[0.006260037,0.0006984926,0.001726332,0.0005797537,0.001905429,0.00258696,0.001241409,0.002384852,0.0008139291],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00138811,"about_ca_system_score_gemma":0.00219865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003909906,"about_ca_topic_score_gemma":0.003527279,"domain_scores_codex":[0.9975121,0.0007115912,0.0001925575,0.0002844998,0.001035513,0.0002638375],"domain_scores_gemma":[0.9943469,0.003344962,0.0005065665,0.0007034314,0.0009604531,0.0001375129],"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.000084655,0.00009772926,0.0006008091,0.0002845197,0.00004406368,0.0003775132,0.0005595442,0.07368361,0.01275119,0.8825064,0.0008251327,0.0281849],"study_design_scores_gemma":[0.0001163027,0.0001173044,0.0004354042,0.0001630405,0.0001184548,0.0003627074,0.0001136475,0.359836,0.02802444,0.5874674,0.02318986,0.00005539235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009690467,0.00009701456,0.9861407,0.0001143561,0.00004432497,0.00008598917,0.00009848614,0.0006679816,0.003060647],"genre_scores_gemma":[0.5087019,0.0004607237,0.4830797,0.0001792465,0.0001121675,0.0003082381,0.000504054,0.0004170706,0.006236865],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005849896,"threshold_uncertainty_score":0.01956987,"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."}}