{"id":"W2129458963","doi":"10.1109/apsec.2000.896738","title":"A study on static analysis in network of synchronizing FSMs","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Synchronizing; Computer science; Correctness; Thread (computing); Finite-state machine; Semaphore; Nondeterministic algorithm; Java; Programming language; Synchronization (alternating current); Theoretical computer science; Abstract state machines; Distributed computing","routes":{"ca_aff":true,"ca_fund":true,"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.002641486,0.0006578013,0.0007798025,0.00162873,0.001111098,0.001455026,0.001107063,0.0008112708,0.002713019],"category_scores_gemma":[0.01309454,0.0004470047,0.001339841,0.001330087,0.002022082,0.003861709,0.0008584085,0.001162361,0.0002118813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001911244,"about_ca_system_score_gemma":0.001387751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002619347,"about_ca_topic_score_gemma":0.001656844,"domain_scores_codex":[0.9975135,0.0006786921,0.0001350475,0.0006714587,0.0007911464,0.0002101151],"domain_scores_gemma":[0.988609,0.008685871,0.0007921034,0.0009020932,0.0008905832,0.0001204282],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001740125,0.0001150115,0.009397413,0.0006328787,0.0001355523,0.0006079855,0.001111436,0.2860247,0.02095973,0.5710647,0.0008758353,0.1089008],"study_design_scores_gemma":[0.00002831914,0.000125573,0.001417961,0.0000989601,0.0001253111,0.0002884451,0.0001692641,0.7699132,0.01605219,0.2034827,0.008259714,0.00003843246],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03984863,0.0005788585,0.956593,0.0002135161,0.00004207333,0.00005864612,0.00004942004,0.0002933697,0.00232262],"genre_scores_gemma":[0.7180197,0.00146116,0.2736844,0.0002029187,0.0001980886,0.0003354069,0.000371919,0.0002845492,0.005441934],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002713019,"threshold_uncertainty_score":0.01396966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07721372720516495,"score_gpt":0.3211522032746368,"score_spread":0.2439384760694719,"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."}}