{"id":"W2098613964","doi":"10.1109/lcn.1999.802005","title":"Using formal specification and observers to specify and validate the ATM signaling protocols","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Conformance testing; Protocol (science); Formal specification; Language Of Temporal Ordering Specification; Formal methods; Communications protocol; Specification language; Programming language; Service (business); Formal description; Software engineering; Computer network; Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.01547194,0.0006396387,0.0004212582,0.001056406,0.0006577169,0.003017812,0.001631704,0.001494099,0.001950069],"category_scores_gemma":[0.03449034,0.0006441987,0.0009293667,0.0004932461,0.004265739,0.005296752,0.001655781,0.002530186,0.0005382185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001564599,"about_ca_system_score_gemma":0.003458117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002993173,"about_ca_topic_score_gemma":0.001949874,"domain_scores_codex":[0.9869011,0.007023201,0.001296773,0.0008251865,0.003480751,0.0004730763],"domain_scores_gemma":[0.9697973,0.01862053,0.002445442,0.005545561,0.003376006,0.0002151287],"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.0001000256,0.00008373876,0.001278557,0.0001997148,0.00003163191,0.0002371197,0.001286111,0.04997461,0.009682088,0.8949509,0.001373486,0.04080199],"study_design_scores_gemma":[0.0002697894,0.0002595337,0.0005687521,0.0003663613,0.0001062487,0.0003503662,0.0004169377,0.4310876,0.07246039,0.4288979,0.06508191,0.00013417],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004999764,0.00005668547,0.9922147,0.0001599048,0.00003118618,0.0001047875,0.00003956283,0.0006283827,0.001764993],"genre_scores_gemma":[0.2107436,0.0004340463,0.7821368,0.0002247268,0.00006145293,0.0007936183,0.0003503919,0.0002799872,0.004975341],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01547194,"threshold_uncertainty_score":0.08182442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2147017645115252,"score_gpt":0.3762920693246581,"score_spread":0.1615903048131329,"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."}}