{"id":"W2757786437","doi":"10.1109/rew.2017.70","title":"DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy","year":2017,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Dash; Hierarchy; Computer science; Programming language; State (computer science); Control (management); Theoretical computer science; Artificial intelligence; Operating system","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.0003680016,0.0001074887,0.0001267582,0.00004086359,0.0002981823,0.0003609837,0.001031129,0.00002741688,0.000009824921],"category_scores_gemma":[0.0001100586,0.00007857479,0.00003318469,0.00004283878,0.00006642386,0.00129165,0.00009720041,0.00006606097,0.0000140329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000397635,"about_ca_system_score_gemma":0.00009144556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002590688,"about_ca_topic_score_gemma":0.000131358,"domain_scores_codex":[0.9990982,0.00004571495,0.0001468433,0.0002703668,0.0001963486,0.0002425043],"domain_scores_gemma":[0.9986882,0.00004228477,0.0001874388,0.0008897478,0.00008922205,0.0001031608],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0006483463,0.0002167877,0.03134648,0.00003874097,0.0001883575,0.00004291374,0.01499083,0.00006876241,0.01142425,0.3420501,0.003016632,0.5959678],"study_design_scores_gemma":[0.02378644,0.004312018,0.4247985,0.0001723761,0.000130322,0.00006384272,0.0005894913,0.3252797,0.181541,0.03037282,0.006948243,0.002005306],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03896582,0.00001372115,0.9577469,0.0005433683,0.0001556893,0.000521578,0.000007408995,0.00008584838,0.001959633],"genre_scores_gemma":[0.3834639,7.271537e-7,0.613624,0.0001723557,0.0000226443,0.00004208084,0.000001820036,0.000005986211,0.002666561],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5939624,"threshold_uncertainty_score":0.3480974,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08692277813182188,"score_gpt":0.3687902882156623,"score_spread":0.2818675100838404,"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."}}