{"id":"W2295941719","doi":"","title":"Composing snippets","year":2000,"lang":"en","type":"article","venue":"International Symposium on Advanced Research in Asynchronous Circuits and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Constraint (computer-aided design); Implementation; Simple (philosophy); Process (computing); Formal verification; Distributed computing; Programming language; Model checking; Formal methods; Theoretical computer science; Software engineering; Engineering","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.001396691,0.00124057,0.0008715172,0.002218146,0.001606882,0.002216202,0.00191562,0.001751546,0.02880015],"category_scores_gemma":[0.006238739,0.0007048622,0.001614426,0.001739493,0.001293441,0.005543949,0.004557517,0.001528668,0.008037767],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005045158,"about_ca_system_score_gemma":0.0009643445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001091986,"about_ca_topic_score_gemma":0.001825244,"domain_scores_codex":[0.9979997,0.0003040827,0.0001765667,0.0004275875,0.0008601571,0.0002318534],"domain_scores_gemma":[0.9976241,0.0009336959,0.0001138497,0.0007927674,0.0004253807,0.0001102236],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005444459,0.0002762662,0.00289537,0.0007935902,0.000213336,0.006340737,0.001324917,0.03941308,0.03092497,0.4887599,0.02239446,0.4061189],"study_design_scores_gemma":[0.00007182058,0.0002741657,0.0007765403,0.0002988854,0.0002093946,0.002260571,0.0007014968,0.1822813,0.05787361,0.3785211,0.3766178,0.0001134286],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02323154,0.0002605654,0.9285741,0.0003825928,0.0004674316,0.0005143356,0.0008680701,0.008300478,0.03740086],"genre_scores_gemma":[0.1810824,0.0008014904,0.7256587,0.0005514931,0.0001802911,0.00106755,0.004135773,0.006063006,0.0804593],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02880015,"threshold_uncertainty_score":0.09634614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06170759449847835,"score_gpt":0.3706100543107172,"score_spread":0.3089024598122388,"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."}}