{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002928082,0.0000586331,0.00006981969,0.00004909496,0.00005353615,0.00004972086,0.0002955366,0.00003400628,0.0000212289],"category_scores_gemma":[0.00003568235,0.00005392247,0.00001262845,0.0001436172,0.00001804058,0.0008114265,0.0000630291,0.00004781854,0.000007657833],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001379998,"about_ca_system_score_gemma":0.000005117061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000128101,"about_ca_topic_score_gemma":8.98214e-7,"domain_scores_codex":[0.9993283,0.0000533075,0.0001828559,0.0002089298,0.0001326134,0.0000939973],"domain_scores_gemma":[0.9993905,0.000009724462,0.00006412112,0.0004283403,0.00006586264,0.00004146537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001532205,0.0001814549,0.0003048411,0.0001887482,0.000009100375,0.000001137537,0.002603387,0.01215638,0.01499407,0.255529,0.00003841356,0.7139781],"study_design_scores_gemma":[0.000135915,0.00004843445,0.0002627063,0.000009976749,9.556896e-7,0.000003834301,0.00001979925,0.9838412,0.01463154,0.0007019518,0.0002788334,0.00006484806],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01430846,0.000004664334,0.9748322,0.000041572,0.00003087374,0.006937079,3.124926e-7,0.0001011442,0.003743695],"genre_scores_gemma":[0.1867547,0.000001300066,0.8088914,0.00002084003,0.0000133749,0.004238629,3.2591e-7,0.000004105542,0.00007537866],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9716848,"threshold_uncertainty_score":0.2198895,"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."}}