{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001073958,0.0006560248,0.0002804908,0.0005191297,0.000413916,0.0008097093,0.0008603119,0.0005231804,0.003630484],"category_scores_gemma":[0.004805064,0.0003673552,0.0004907654,0.0004934343,0.0006331804,0.0005075347,0.0005242292,0.0006491347,0.001062863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006662729,"about_ca_system_score_gemma":0.001512263,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001816026,"about_ca_topic_score_gemma":0.002329284,"domain_scores_codex":[0.9990677,0.0001793865,0.00007197716,0.0001135011,0.0004642085,0.0001031988],"domain_scores_gemma":[0.9973524,0.001363691,0.0002597572,0.0004425447,0.000522328,0.00005927386],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007742539,0.0001705944,0.002353184,0.001536204,0.00007090275,0.002419836,0.0008596048,0.2664489,0.313817,0.1983753,0.0112095,0.2019647],"study_design_scores_gemma":[0.000199037,0.0002120456,0.0007192552,0.0001108848,0.00004828747,0.0005216204,0.0000800531,0.5261916,0.4154687,0.02437338,0.03202737,0.00004775341],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0533829,0.00005695568,0.9282129,0.000112581,0.0000392704,0.0002207481,0.0006346921,0.01040894,0.006930994],"genre_scores_gemma":[0.3828509,0.0001351122,0.6101055,0.00008752551,0.00001913742,0.0003684744,0.00137315,0.001697394,0.003362818],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003630484,"threshold_uncertainty_score":0.01214522,"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."}}