{"id":"W2946812972","doi":"10.1007/978-3-030-18305-9_30","title":"Towards Causal Analysis of Protocol Violations","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Computer science; Protocol (science); Formal methods; Theoretical computer science; Pi calculus; Formal description; Distributed computing; Software engineering; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01028858,0.001596171,0.001326808,0.005431867,0.001864905,0.00550396,0.003772373,0.002430417,0.01415022],"category_scores_gemma":[0.05814388,0.001782803,0.00309315,0.003170468,0.004752642,0.00878546,0.005458524,0.007006257,0.00220222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002544535,"about_ca_system_score_gemma":0.004724663,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003434965,"about_ca_topic_score_gemma":0.00374541,"domain_scores_codex":[0.9867475,0.006287207,0.0007087439,0.001527185,0.003881042,0.0008482974],"domain_scores_gemma":[0.9256959,0.05415237,0.003762869,0.0102611,0.005375967,0.0007517378],"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.0001472392,0.000144617,0.001707766,0.0003761656,0.0001138004,0.000239487,0.0006531024,0.04335116,0.002366721,0.8753719,0.004676548,0.0708515],"study_design_scores_gemma":[0.00002587161,0.00002519524,0.0002655996,0.00009298112,0.00007052164,0.00007782686,0.0001226954,0.2252923,0.002860412,0.7661451,0.004994149,0.00002737645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003189175,0.0001420726,0.9894238,0.0004441827,0.00006650238,0.0001454383,0.0001745343,0.001170896,0.005243371],"genre_scores_gemma":[0.3554889,0.0009926831,0.6296609,0.0005505641,0.0003369734,0.0007046593,0.001079345,0.001129351,0.01005666],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01415022,"threshold_uncertainty_score":0.05441189,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03322753339818783,"score_gpt":0.3267035043400238,"score_spread":0.2934759709418359,"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."}}