{"id":"W1990781920","doi":"10.1007/s00165-013-0286-3","title":"Refinement patterns for ASTDs","year":2013,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Refinement calculus; Divergence (linguistics); Simple (philosophy); Theoretical computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.0069895,0.0008241027,0.0005817572,0.001529544,0.0009874898,0.002017396,0.001426568,0.001542614,0.00605672],"category_scores_gemma":[0.02157836,0.0009491552,0.001881076,0.001220677,0.003514309,0.004519557,0.002900978,0.002687032,0.001647182],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001131284,"about_ca_system_score_gemma":0.001831279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002566311,"about_ca_topic_score_gemma":0.002643082,"domain_scores_codex":[0.9887962,0.003743327,0.002268982,0.001216753,0.003423284,0.0005515004],"domain_scores_gemma":[0.9781075,0.01061988,0.001498888,0.005242588,0.004129627,0.0004015448],"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.0001710569,0.00007191279,0.002091859,0.0004081081,0.00004434967,0.0007223896,0.001700748,0.01562069,0.01071469,0.8810059,0.003253192,0.08419508],"study_design_scores_gemma":[0.0001608415,0.0002154143,0.0005865741,0.0002870643,0.0001047488,0.001078799,0.0005381387,0.1072428,0.0294326,0.7260643,0.1341992,0.00008953032],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006569308,0.00005949581,0.9870301,0.0002137867,0.00005584207,0.0002580634,0.0001828107,0.001686303,0.003944242],"genre_scores_gemma":[0.1643633,0.0002190012,0.829028,0.0002155893,0.00005176196,0.0006489095,0.0007936754,0.0006955174,0.003984342],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0069895,"threshold_uncertainty_score":0.03696442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0216745873475067,"score_gpt":0.2812715598116536,"score_spread":0.2595969724641469,"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."}}