{"id":"W2159457860","doi":"10.1109/cmpsac.1978.810370","title":"Analysis of software design modeled by multiple finite state machines","year":2005,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Computer science; Finite-state machine; Correctness; Deadlock; State (computer science); Distributed computing; Software; Programming language; Inter-process communication; Process (computing); Surprise; Extended finite-state machine; Software design; Software engineering; Software development","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.002608493,0.001048041,0.0008079019,0.001348112,0.0007285431,0.001598456,0.001261695,0.0009638237,0.001993494],"category_scores_gemma":[0.009468623,0.0007847838,0.001559949,0.0007489535,0.001914555,0.002367052,0.0009197569,0.001479887,0.0002299614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00208577,"about_ca_system_score_gemma":0.001934474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002792452,"about_ca_topic_score_gemma":0.002827868,"domain_scores_codex":[0.9964918,0.001239612,0.000162255,0.0003930751,0.0014678,0.0002453433],"domain_scores_gemma":[0.9917073,0.005975309,0.0008315424,0.000870646,0.0005157143,0.0000995147],"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.00007628122,0.00004579185,0.001790391,0.0001543819,0.0001020535,0.0001930864,0.0001806955,0.8644621,0.003989356,0.1086468,0.0002477251,0.02011128],"study_design_scores_gemma":[0.000008262477,0.00002867671,0.0001551507,0.00001274291,0.0000203803,0.00002609081,0.00001191576,0.9575129,0.001850533,0.03952119,0.0008442066,0.000007911022],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05065402,0.0003193307,0.9453886,0.0001952726,0.00002252297,0.00006806235,0.00006926946,0.0007304194,0.002552452],"genre_scores_gemma":[0.7101657,0.0004114886,0.2866454,0.00005388673,0.00005677251,0.0002609224,0.000186317,0.0001511546,0.002068323],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002792452,"threshold_uncertainty_score":0.01513344,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02413222387717184,"score_gpt":0.2756181590862247,"score_spread":0.2514859352090529,"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."}}