{"id":"W3090654214","doi":"10.1145/3365438.3410936","title":"Synthesis of state machine models","year":2020,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Executable; Unified Modeling Language; Computer science; Component (thermodynamics); Scalability; State (computer science); Software; Finite-state machine; State space; Programming language; Operating system","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.001114278,0.0007812053,0.000635561,0.0008558191,0.0003915243,0.001057129,0.0009525592,0.0009833275,0.004567852],"category_scores_gemma":[0.004808472,0.0005295199,0.001526206,0.0005319184,0.0007260151,0.00109002,0.0009196745,0.0009646198,0.0009712966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008271111,"about_ca_system_score_gemma":0.001642543,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001438381,"about_ca_topic_score_gemma":0.001765098,"domain_scores_codex":[0.9984868,0.0004583127,0.000127367,0.0002670326,0.0005360513,0.0001243877],"domain_scores_gemma":[0.9976702,0.001490684,0.0001451814,0.0003817132,0.0002776376,0.00003460248],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001737114,0.0001251444,0.0009601177,0.0006477788,0.00007158062,0.0004360518,0.0003870304,0.73217,0.04898466,0.1442131,0.001683598,0.07014728],"study_design_scores_gemma":[0.00004492666,0.00007987547,0.0001306762,0.00005188998,0.00003260237,0.00006194086,0.00004346077,0.9276046,0.02571019,0.03763749,0.008587697,0.00001465338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01437758,0.0001143663,0.9785443,0.00009902725,0.00004908042,0.0001417416,0.0002926859,0.001729825,0.004651474],"genre_scores_gemma":[0.3546663,0.0003449942,0.6384646,0.00008609179,0.00002799291,0.0008416716,0.001384396,0.0004065906,0.003777388],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004567852,"threshold_uncertainty_score":0.01528102,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0583869675749193,"score_gpt":0.2767164230592295,"score_spread":0.2183294554843102,"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."}}