{"id":"W2772456949","doi":"10.1007/978-3-319-77935-5_10","title":"Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Automated theorem proving; Fault tree analysis; Formal methods; Algorithm; Theoretical computer science; Programming language; Reliability 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001962534,0.0003630138,0.000503603,0.00139914,0.0002456059,0.0003702479,0.001796283,0.0002563618,0.000003601992],"category_scores_gemma":[0.0001209354,0.0003183193,0.0001122114,0.001001294,0.0008719991,0.002257158,0.0007859565,0.000387756,6.602839e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002353494,"about_ca_system_score_gemma":0.0002631462,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002442113,"about_ca_topic_score_gemma":0.0001873263,"domain_scores_codex":[0.9972028,0.00006383222,0.0005839922,0.001063448,0.0006745916,0.0004113555],"domain_scores_gemma":[0.9977281,0.0001285191,0.0005641928,0.00112489,0.0003600138,0.00009426122],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007803321,0.00002003751,0.00003105811,0.00003059577,0.00002777419,0.000001858245,0.004517857,0.3885782,0.004380826,0.0298893,6.479694e-8,0.5725146],"study_design_scores_gemma":[0.00007587235,0.0001206738,0.0001461481,0.0001532907,0.00004975063,0.00001367911,0.0000015093,0.9152804,0.004540288,0.07931377,0.000001131111,0.000303462],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01528319,0.00007937534,0.9837504,0.00001749981,0.0002710247,0.0002575533,0.000004154668,0.00007017102,0.000266612],"genre_scores_gemma":[0.4106051,0.00000673756,0.5892725,0.00004486397,0.00004170395,0.000001820719,0.000003359243,0.0000108883,0.00001303141],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5722111,"threshold_uncertainty_score":0.9999269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03570609840478055,"score_gpt":0.3084299362892287,"score_spread":0.2727238378844481,"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."}}