{"id":"W2102080474","doi":"10.1109/wfcs.1997.634351","title":"Engineering families of protocols using a formal language: successes and failures","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"","keywords":"Computer science; Hierarchy; Retransmission; Notation; Programming language; Refinement; Formal methods; Theoretical computer science; Protocol (science); Formal language; Formal description; Communications protocol; Variation (astronomy); Software engineering; Computer security; Computer network; Mathematics","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.0001613457,0.00005750367,0.00007913484,0.00007559899,0.00002981421,0.00005274008,0.0002265103,0.00002430368,0.00001521555],"category_scores_gemma":[0.00007630783,0.00004896746,0.00001331023,0.0001794531,0.00002211013,0.0008694218,0.0001086238,0.00003839085,0.000001649212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006913726,"about_ca_system_score_gemma":0.00000464388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006450434,"about_ca_topic_score_gemma":0.000002337429,"domain_scores_codex":[0.999531,0.00001509067,0.0001292046,0.0001054308,0.0001016486,0.0001176731],"domain_scores_gemma":[0.9996723,0.00002799696,0.00004486562,0.0002022323,0.00002939573,0.00002319505],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009748866,0.0001229328,0.003799736,0.0009565951,0.00003326008,0.000006359746,0.01224121,0.003753992,0.169591,0.5610769,0.00009027625,0.248318],"study_design_scores_gemma":[0.0001218627,0.0000374156,0.001203825,0.00003401437,0.000001638513,0.00001571156,0.0001185225,0.8817842,0.1158135,0.00004570607,0.0007330034,0.00009062391],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08325019,0.00005409983,0.9144399,0.00003159216,0.00002680471,0.00118113,4.474743e-7,0.00008624065,0.0009295588],"genre_scores_gemma":[0.3299256,0.000002318625,0.6698716,0.000009401598,0.000009539733,0.0001488494,5.995788e-8,0.000002607524,0.00003004435],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8780302,"threshold_uncertainty_score":0.1996835,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03642843150868986,"score_gpt":0.3090944844918145,"score_spread":0.2726660529831246,"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."}}