{"id":"W2110029287","doi":"10.1109/ecbs.2005.64","title":"Synthesis of C++ Software from Verifiable CSPm Specifications","year":2005,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Programming language; Formalism (music); Software; Source code; Verifiable secret sharing; Object-oriented programming; Embedded system; Software engineering; Set (abstract data type)","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.0001234468,0.00007632725,0.0001191695,0.00006904341,0.00005722846,0.00004390017,0.0006803795,0.00003999133,0.00009306084],"category_scores_gemma":[0.0004849937,0.00006908493,0.00004344466,0.0002291129,0.00003163286,0.0002240555,0.0001103782,0.00005004529,0.00008094641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000224848,"about_ca_system_score_gemma":0.0000374203,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002891373,"about_ca_topic_score_gemma":0.000007025451,"domain_scores_codex":[0.9992893,0.0000204988,0.0001810129,0.0002270446,0.0001520466,0.0001300958],"domain_scores_gemma":[0.9983732,0.0006912017,0.00006546939,0.0007526304,0.00007120378,0.00004636836],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000003880388,0.0002770697,0.01305348,0.00001277536,0.00003166168,0.000002989487,0.0004083345,0.000194544,0.001064165,0.02598,0.240296,0.7186751],"study_design_scores_gemma":[0.0003401109,0.0001146554,0.03358759,0.0002637351,0.00003984837,0.00001797719,0.00002266929,0.08721425,0.570357,0.2113638,0.09566183,0.00101662],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002800434,0.00008349537,0.9815893,0.0007295388,0.00005646571,0.00005439586,0.000007634318,0.007627504,0.00705125],"genre_scores_gemma":[0.31586,0.000006151203,0.6837479,0.0001011079,0.00003877472,0.00001231658,0.000001241134,0.000004658217,0.0002278147],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7176585,"threshold_uncertainty_score":0.2817202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03881680567377979,"score_gpt":0.2461720522590375,"score_spread":0.2073552465852577,"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."}}