{"id":"W4312383880","doi":"10.1007/978-3-031-22476-8_2","title":"Formalization of Functional Block Diagrams Using HOL Theorem Proving","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Computer science; Dependability; Reliability block diagram; Theoretical computer science; Probabilistic logic; Automated theorem proving; Fault tree analysis; Block diagram; Formal methods; Programming language; Algorithm; Reliability engineering; Software engineering; 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.001307938,0.0007298851,0.0005638446,0.001062269,0.0007741248,0.002000185,0.001534454,0.000603907,0.01148786],"category_scores_gemma":[0.00287368,0.0007742731,0.001305392,0.0006177321,0.001667336,0.002752476,0.001526972,0.00243951,0.002065018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009633229,"about_ca_system_score_gemma":0.001239957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002001412,"about_ca_topic_score_gemma":0.002274058,"domain_scores_codex":[0.9988981,0.000279168,0.00007758354,0.0001534378,0.000463246,0.000128322],"domain_scores_gemma":[0.9983998,0.0009654196,0.00007773231,0.0002655892,0.0002524955,0.00003909408],"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.00007277633,0.00007579227,0.0002251265,0.0004263793,0.00002877771,0.0002008177,0.0003701241,0.02270029,0.01135805,0.8354885,0.004274837,0.1247785],"study_design_scores_gemma":[0.00006927216,0.00006422876,0.0002406594,0.0001996927,0.00006981586,0.0002704846,0.00009747154,0.1414706,0.03468711,0.7414008,0.08139245,0.00003746473],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002394072,0.0001526851,0.9892287,0.0001068435,0.00006255573,0.00005042251,0.00009596896,0.001128846,0.006779858],"genre_scores_gemma":[0.2065747,0.0008735796,0.7723727,0.0002174731,0.0001477555,0.000248954,0.0008443124,0.001112863,0.0176077],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01148786,"threshold_uncertainty_score":0.03843075,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01359448243090214,"score_gpt":0.1963329692304803,"score_spread":0.1827384867995781,"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."}}