{"id":"W2118262051","doi":"10.1109/ccece.2002.1015291","title":"On the model checking of the RCMP-800 input FIFO","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"FIFO (computing and electronics); Computer science; Header; Model checking; Asynchronous communication; Asynchronous Transfer Mode; Routing (electronic design automation); Process (computing); Embedded system; Real-time computing; Computer hardware; Computer network; 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.0007874545,0.00005579322,0.00005268588,0.00001908093,0.00009444592,0.00003024139,0.0008798482,0.00002828894,0.00001838011],"category_scores_gemma":[0.0003321138,0.00002675567,0.00004107218,0.0002578141,0.00004370346,0.000129551,0.00009554578,0.00009941667,0.00001542306],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001818475,"about_ca_system_score_gemma":0.00003974232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004751194,"about_ca_topic_score_gemma":9.600388e-7,"domain_scores_codex":[0.9992904,0.0001415121,0.0001274002,0.0001273205,0.0002071881,0.0001061821],"domain_scores_gemma":[0.9989589,0.0001119198,0.00007184207,0.0008042256,0.00003894567,0.00001415908],"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":[5.055764e-7,0.00001100181,0.00002815248,0.000001615065,0.000001597501,2.464999e-8,0.0003123701,0.004330717,0.0006851055,0.9921299,0.000268066,0.002230968],"study_design_scores_gemma":[0.00004557072,0.00001343292,0.0003912276,0.000009168572,0.000001312964,0.000001477987,0.00001920561,0.8155795,0.1090486,0.0742517,0.0005882707,0.00005056095],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02438939,0.000007703074,0.8865427,0.0005987001,0.0001767415,0.0001029201,2.07502e-7,0.00002994257,0.08815172],"genre_scores_gemma":[0.6758575,0.000001358337,0.3227246,0.0007154882,0.000004518321,0.000005778736,2.29883e-8,0.000002625516,0.0006881117],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9178782,"threshold_uncertainty_score":0.1634991,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05305236225538907,"score_gpt":0.278846156678468,"score_spread":0.225793794423079,"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."}}