{"id":"W2189209925","doi":"10.1109/wimob.2015.7347964","title":"Formal reliability analysis of wireless sensor network data transport protocols using HOL","year":2015,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Correctness; Reliability block diagram; Computer science; Wireless sensor network; Automated theorem proving; Reliability (semiconductor); Formal verification; Distributed computing; Mathematical proof; Computer network; Reliability engineering; Theoretical computer science; Algorithm; Engineering; Fault tree analysis; Programming language","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.003714263,0.0001112128,0.0003236955,0.0001100912,0.00005659443,0.00003333341,0.001660221,0.00007182013,0.000009099022],"category_scores_gemma":[0.0000963448,0.00009438067,0.00007596476,0.001885762,0.00007300184,0.001720666,0.0003142653,0.00009541254,0.000002441708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000478094,"about_ca_system_score_gemma":0.0001485253,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001725178,"about_ca_topic_score_gemma":0.00002024668,"domain_scores_codex":[0.9981539,0.0001756642,0.0005164485,0.0004457731,0.0004280135,0.0002802623],"domain_scores_gemma":[0.996782,0.00004594529,0.000223576,0.002588168,0.0002473316,0.0001129634],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003063482,0.0006853006,0.2790152,0.0002605502,0.0008031329,0.000008956074,0.002729597,0.5462219,0.001464353,0.1028836,0.0006154483,0.06500557],"study_design_scores_gemma":[0.0001607984,0.00004452717,0.017031,0.00001087116,0.0001002744,0.000001924798,0.00002852642,0.9804163,0.001189917,0.0002996087,0.0005967908,0.0001194873],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07029986,0.00000252304,0.9258943,0.00003172864,0.00008463114,0.002821702,0.00001288771,0.00008579175,0.0007665732],"genre_scores_gemma":[0.1594357,3.754539e-7,0.8402635,0.0000334915,0.00003510296,0.0001816116,0.00002047596,0.000004808851,0.00002495416],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4341944,"threshold_uncertainty_score":0.3848732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2343081436252017,"score_gpt":0.407256732540891,"score_spread":0.1729485889156892,"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."}}