{"id":"W3096653528","doi":"10.1145/3419804.3420263","title":"Bounded Verification of State Machine Models","year":2020,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Bounded function; Computer science; State (computer science); Theoretical computer science; Algorithm; Mathematics; Mathematical analysis","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.005307272,0.001106935,0.001183821,0.001623446,0.0009197013,0.002505865,0.002878266,0.001554081,0.003899628],"category_scores_gemma":[0.02450384,0.0009950541,0.003363945,0.0008722379,0.002989532,0.004822132,0.003453069,0.002707222,0.0007978505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002257993,"about_ca_system_score_gemma":0.003889613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005498067,"about_ca_topic_score_gemma":0.005016847,"domain_scores_codex":[0.988735,0.004182548,0.0007428461,0.001133262,0.004343028,0.0008633753],"domain_scores_gemma":[0.980358,0.01312171,0.001105496,0.003506135,0.00174785,0.000160785],"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.0003016285,0.0001459796,0.00201204,0.0006464936,0.0001744482,0.0006384304,0.0006797754,0.5134497,0.02582482,0.3927038,0.001385351,0.06203762],"study_design_scores_gemma":[0.00004461383,0.00005738863,0.000118281,0.00007643798,0.00004140507,0.00006946999,0.00004244154,0.8812109,0.01451767,0.1005653,0.003232202,0.00002390011],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006779938,0.00008404288,0.9902031,0.00009577462,0.00002529053,0.00006523256,0.0000816273,0.001553194,0.001111693],"genre_scores_gemma":[0.4290561,0.0002993071,0.5670341,0.0002049275,0.00005172188,0.0004605799,0.0006915745,0.0006363996,0.001565382],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005498067,"threshold_uncertainty_score":0.02806789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06932429081240729,"score_gpt":0.272263933830727,"score_spread":0.2029396430183197,"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."}}