{"id":"W2140352245","doi":"10.1109/ccece.2003.1226387","title":"Modeling and verification of an ATM port controller in VIS","year":2004,"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":"Foundation for Research, Science and Technology","keywords":"Port (circuit theory); Asynchronous Transfer Mode; Computer science; Asynchronous communication; Controller (irrigation); Key (lock); Verilog; Model checking; Process (computing); Embedded system; Computer network; Engineering; Operating system; Electronic engineering; Programming language","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.000458477,0.00004340024,0.00008142661,0.00006620256,0.00001742687,0.00001904777,0.0001835555,0.00003237793,0.000001425525],"category_scores_gemma":[0.00003468732,0.00003977874,0.000009877672,0.0001545339,0.00001654181,0.0005550961,0.00002755811,0.00003795829,0.00000187529],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002319385,"about_ca_system_score_gemma":0.00002419981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001806433,"about_ca_topic_score_gemma":0.0000134513,"domain_scores_codex":[0.9994507,0.00002947627,0.0001870175,0.0001610238,0.00009640745,0.00007536705],"domain_scores_gemma":[0.999652,0.000007691611,0.00003768504,0.0002317058,0.0000433373,0.0000275576],"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.00002317867,0.0001166573,0.0004003509,0.00001307218,0.000004038441,0.000001051451,0.001349316,0.08472082,0.01770696,0.8180504,7.876021e-7,0.07761341],"study_design_scores_gemma":[0.0004215455,0.00004362773,0.004532351,0.00000584221,8.659868e-7,0.000003051811,0.0000357381,0.9783264,0.007681943,0.008892431,0.000007042218,0.00004910881],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3719396,0.00001522489,0.627324,0.00005760508,0.00002462803,0.0000633018,1.148739e-7,0.00002164276,0.0005538706],"genre_scores_gemma":[0.5638512,0.000005130015,0.4361007,0.00002935779,0.000003555926,0.000003681197,3.573158e-7,0.000001372817,0.000004672226],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8936056,"threshold_uncertainty_score":0.162213,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02944035114508749,"score_gpt":0.2984493608000003,"score_spread":0.2690090096549128,"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."}}