{"id":"W2104618219","doi":"10.1109/icm.2000.916406","title":"Hardware modeling and verification of an ATM ring MAC protocol","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Intelligent verification; Model checking; Functional verification; Protocol (science); High-level verification; Asynchronous communication; Formal verification; Verification; Embedded system; Asynchronous Transfer Mode; Computer hardware; Computer network; Operating system; Programming language; Software","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.001156595,0.0004847081,0.0002954491,0.0004072512,0.0004833298,0.001032095,0.001132866,0.0007564826,0.002582584],"category_scores_gemma":[0.002128641,0.0004183679,0.0007988464,0.0002083091,0.0009616379,0.001285937,0.0005886918,0.0008359565,0.0004159794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000909799,"about_ca_system_score_gemma":0.001841055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004312251,"about_ca_topic_score_gemma":0.002587899,"domain_scores_codex":[0.9988746,0.0003084765,0.00007405497,0.0001272404,0.0005135603,0.0001019728],"domain_scores_gemma":[0.999034,0.0004242985,0.0001705296,0.0002102887,0.0001386085,0.00002223384],"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.0002144273,0.0000918658,0.001294917,0.0002548727,0.00005942592,0.0005379496,0.0003146045,0.6964711,0.04729864,0.2336322,0.0007419136,0.01908805],"study_design_scores_gemma":[0.00004678757,0.00008604993,0.0002054485,0.00002427761,0.00002977686,0.00008632398,0.00002150245,0.9625656,0.02220453,0.008703222,0.006013284,0.00001326242],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08451423,0.0002896277,0.9022653,0.0002817003,0.000054491,0.0002662281,0.0002497888,0.00208601,0.009992691],"genre_scores_gemma":[0.7824872,0.0003820142,0.2110843,0.00007204388,0.00003353177,0.0004131137,0.0002291328,0.0001341262,0.0051647],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004312251,"threshold_uncertainty_score":0.008639574,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07990674361309368,"score_gpt":0.3262851310654015,"score_spread":0.2463783874523078,"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."}}