{"id":"W1998474763","doi":"10.1145/1066677.1067029","title":"Synthesis of C++ software for automated teller from CSPm specifications","year":2005,"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 Guelph","funders":"","keywords":"Executable; Computer science; Programming language; Extensibility; Exploit; Formalism (music); Source code; Formal verification; Software; Formal specification; Object-oriented programming; Syntax; Software engineering; Artificial intelligence","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.0002397687,0.00007029535,0.0001131124,0.00006864069,0.00006766371,0.00003142379,0.0006466931,0.00005046705,0.00005634827],"category_scores_gemma":[0.0005353616,0.00006478816,0.0000476217,0.0002660207,0.00003544589,0.0002927275,0.00005772714,0.00002987466,0.00006567229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002519747,"about_ca_system_score_gemma":0.00005500858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000291728,"about_ca_topic_score_gemma":0.000004516588,"domain_scores_codex":[0.9992436,0.00004171973,0.0002564462,0.0002186796,0.0001200732,0.000119467],"domain_scores_gemma":[0.9986086,0.0004631128,0.0001059805,0.0006289213,0.0001561319,0.00003726536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001084141,0.0001951871,0.0002219032,0.00001860855,0.00003960408,1.206788e-7,0.0005212864,0.0008211801,0.009340295,0.4252863,0.0189429,0.5446017],"study_design_scores_gemma":[0.0001360637,0.00001634424,0.007630885,0.00001220918,0.00000758253,8.040021e-7,0.00002980608,0.6186098,0.3520627,0.003239489,0.0181189,0.0001353831],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001828739,0.00002936217,0.9932333,0.0007674223,0.0001081904,0.0001811405,0.00001868991,0.0006757799,0.003157431],"genre_scores_gemma":[0.09910379,0.000005365561,0.9004497,0.00006439941,0.00004477728,0.00005983288,0.000004572258,0.000006553769,0.0002610343],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6177887,"threshold_uncertainty_score":0.2641985,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06703305688385326,"score_gpt":0.3070271674552384,"score_spread":0.2399941105713852,"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."}}