{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006740225,0.0001392431,0.00038683,0.0004778474,0.00008436928,0.00009263527,0.0009270939,0.00004946115,0.0001683916],"category_scores_gemma":[0.000515405,0.0001100957,0.0002824644,0.002546304,0.00005817735,0.0004140123,0.0002128338,0.0001107822,0.00003927457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003745284,"about_ca_system_score_gemma":0.00005954269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003777384,"about_ca_topic_score_gemma":0.0001573572,"domain_scores_codex":[0.9981521,0.0001941064,0.0003834391,0.0004384913,0.0005232432,0.0003086343],"domain_scores_gemma":[0.9973636,0.001443143,0.00008664213,0.0007485235,0.0002314958,0.0001265922],"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.00001491569,0.0002214387,0.02509758,0.00001050095,0.0006873989,0.000002279289,0.0002907061,0.8104745,0.0003467324,0.00007955735,0.0008816482,0.1618927],"study_design_scores_gemma":[0.0001925327,0.00003196038,0.0008167731,0.000002438781,0.00008137502,2.723157e-7,0.000003617505,0.9953183,0.002625953,0.0004159134,0.0003835156,0.0001273466],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02541221,0.0001815984,0.9737033,0.0003456971,0.000009538427,0.0001011226,0.00002140433,0.0001715037,0.00005367144],"genre_scores_gemma":[0.7262391,0.00006349704,0.2724443,0.0001259897,0.000007352477,0.00001160047,0.00001575147,0.000005894018,0.001086503],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.701259,"threshold_uncertainty_score":0.4489573,"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."}}