{"id":"W2991627118","doi":"10.1109/models-c.2019.00082","title":"Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking","year":2019,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; University of the Fraser Valley","funders":"","keywords":"Model checking; Computer science; State (computer science); State space; Reduction (mathematics); Finite-state machine; Semantics (computer science); Encoding (memory); Resource (disambiguation); Distributed computing; Theoretical computer science; Abstract state machines; Software; Programming language; Artificial intelligence; Mathematics","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.0005963225,0.00009019797,0.0001295224,0.00009712656,0.00003866891,0.00008659933,0.000520573,0.00002908121,0.000007556856],"category_scores_gemma":[0.00005539712,0.00007895778,0.00003916649,0.0001711809,0.0000164492,0.0004944245,0.0001616441,0.0001086987,0.00001590237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004315596,"about_ca_system_score_gemma":0.00004216503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001787071,"about_ca_topic_score_gemma":0.000005917142,"domain_scores_codex":[0.9990664,0.00004095107,0.0002293628,0.0002923653,0.0001302374,0.000240667],"domain_scores_gemma":[0.9994249,0.00009719307,0.00006061458,0.0003359218,0.00003961966,0.00004173671],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001230946,0.0000552132,0.0005637511,0.00006335492,0.000005082984,3.453215e-7,0.001902714,0.1836479,0.004013848,0.6325669,0.00007108442,0.1770975],"study_design_scores_gemma":[0.0003220251,0.00003401467,0.0001845419,0.00001418679,6.287808e-7,8.090206e-7,0.000007410813,0.9831707,0.003187072,0.01255795,0.0004085133,0.0001120831],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04595173,0.00002755734,0.951153,0.0001571127,0.0002901384,0.00034832,0.000002166833,0.00009074975,0.00197919],"genre_scores_gemma":[0.2067198,0.000005870158,0.7927459,0.0001374282,0.000009240955,0.00003492053,0.00000190301,0.000006428993,0.0003384496],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7995229,"threshold_uncertainty_score":0.3219805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04895541616293567,"score_gpt":0.3358860619517525,"score_spread":0.2869306457888169,"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."}}