{"id":"W2982245660","doi":"10.5539/cis.v12n4p56","title":"Model Checking of WebRTC Peer to Peer System","year":2019,"lang":"en","type":"article","venue":"Computer and Information Science","topic":"Digital Rights Management and Security","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"WebRTC; Computer science; Promela; Correctness; Model checking; Session (web analytics); Consistency (knowledge bases); Peer-to-peer; Reliability (semiconductor); Implementation; JavaScript; Distributed computing; Computer network; Software engineering; Theoretical computer science; Programming language; World Wide Web","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003116285,0.0006352875,0.0008588487,0.0009893252,0.0009248441,0.002719078,0.002050808,0.001186303,0.003679255],"category_scores_gemma":[0.01121169,0.0005420971,0.001633991,0.0006071786,0.001763123,0.00227609,0.001629769,0.001252381,0.0006470868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002064549,"about_ca_system_score_gemma":0.004673335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01787974,"about_ca_topic_score_gemma":0.009789961,"domain_scores_codex":[0.9937656,0.001503338,0.0003811478,0.0009738628,0.002717212,0.0006588728],"domain_scores_gemma":[0.9920854,0.003742479,0.0006971639,0.001599151,0.001728361,0.0001474891],"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.0003533754,0.0002028316,0.004527348,0.0004881288,0.0001552411,0.00120992,0.0005512128,0.8285559,0.01855901,0.1141375,0.002641302,0.0286183],"study_design_scores_gemma":[0.0000619576,0.00006106747,0.000266906,0.00003169033,0.00003961549,0.00008878717,0.00003797274,0.9655477,0.01260886,0.01885217,0.002380379,0.00002288832],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1083729,0.0001789031,0.8742658,0.0004276959,0.00009559315,0.0004940314,0.0008281972,0.007110411,0.008226492],"genre_scores_gemma":[0.8383034,0.0002024887,0.1542343,0.0001622048,0.00003454273,0.0005589559,0.001206681,0.0004610193,0.004836274],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01787974,"threshold_uncertainty_score":0.03555131,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0148756207631646,"score_gpt":0.2294063161276466,"score_spread":0.214530695364482,"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."}}