{"id":"W2154862821","doi":"10.1109/icdcs.1998.679495","title":"On improving reachability analysis for verifying progress properties of networks of CFSMs","year":2002,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Reachability; Executable; Computer science; Protocol (science); State (computer science); Distributed computing; Model checking; Finite-state machine; State space; Property (philosophy); Consistency (knowledge bases); Theoretical computer science; Formal verification; Algorithm; Programming language; Mathematics; Artificial intelligence","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.003361575,0.001255056,0.0007987992,0.001403188,0.0007435959,0.0007388072,0.001321774,0.0006662987,0.001505609],"category_scores_gemma":[0.01304993,0.0004449922,0.001456883,0.0008518306,0.002011869,0.003552739,0.002014809,0.001627769,0.0003968914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005937014,"about_ca_system_score_gemma":0.00125719,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001775174,"about_ca_topic_score_gemma":0.002122417,"domain_scores_codex":[0.9963353,0.001364975,0.0002065086,0.0005223356,0.001303959,0.0002669109],"domain_scores_gemma":[0.9895512,0.008107461,0.000517244,0.001224859,0.0005264413,0.00007271374],"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.0006488336,0.0002242761,0.003337025,0.0007465708,0.000091418,0.0005188595,0.0006523245,0.414695,0.09904187,0.09000099,0.000961178,0.3890817],"study_design_scores_gemma":[0.00005708753,0.000390754,0.0004662148,0.00003407276,0.00005478115,0.0002553852,0.00006836231,0.9147035,0.0384328,0.0435538,0.001952368,0.00003082889],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03168232,0.0001329083,0.9651836,0.0001306783,0.00001049678,0.0000736392,0.00003729903,0.001874889,0.0008742783],"genre_scores_gemma":[0.3516174,0.0002252807,0.6465595,0.00007833933,0.00002811952,0.000206338,0.0001979517,0.0001933826,0.0008937576],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003361575,"threshold_uncertainty_score":0.01777786,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05081562709796171,"score_gpt":0.2512790558285443,"score_spread":0.2004634287305825,"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."}}