{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005613259,0.001105087,0.0007635014,0.0008439714,0.00109492,0.002193232,0.002492778,0.001385031,0.002353103],"category_scores_gemma":[0.0207118,0.0007185558,0.001585035,0.0007925848,0.00366719,0.002956141,0.001487768,0.001998757,0.0004268397],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002165847,"about_ca_system_score_gemma":0.003620005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009394361,"about_ca_topic_score_gemma":0.007430261,"domain_scores_codex":[0.9932883,0.002356473,0.000271146,0.0008512691,0.00258982,0.0006428934],"domain_scores_gemma":[0.9820119,0.01317931,0.0008091918,0.002677639,0.001203249,0.0001188076],"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.0005638265,0.0002927216,0.004570818,0.0008008815,0.0001449126,0.001384937,0.001630893,0.7065636,0.02784101,0.18073,0.001757661,0.07371873],"study_design_scores_gemma":[0.000111941,0.0002269991,0.0004488307,0.0001386379,0.0001194603,0.0003087165,0.0001204252,0.8747975,0.07324188,0.04413493,0.006295514,0.0000550907],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07165091,0.0001870149,0.921547,0.0003665941,0.00004286101,0.0001822444,0.0001426615,0.001828276,0.004052355],"genre_scores_gemma":[0.6222213,0.0004028509,0.3728824,0.0002574044,0.00004364033,0.0002584043,0.0004105849,0.0004470112,0.003076346],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009394361,"threshold_uncertainty_score":0.02968609,"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."}}