{"id":"W4297904709","doi":"","title":"Separation Analysis for Weakest Precondition-based Verification ⋆","year":2008,"lang":"en","type":"preprint","venue":"","topic":"Engineering Applied Research","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Precondition; Computer science; Programming language","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.004800458,0.001333114,0.001039344,0.002022834,0.001038463,0.00197983,0.001580741,0.001120056,0.005957498],"category_scores_gemma":[0.01274713,0.000851824,0.002833019,0.001116441,0.002916783,0.003832424,0.003930649,0.004579441,0.002025351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001625575,"about_ca_system_score_gemma":0.002648908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002057412,"about_ca_topic_score_gemma":0.001553309,"domain_scores_codex":[0.9928901,0.002451846,0.0003921957,0.0008509776,0.002711691,0.0007030807],"domain_scores_gemma":[0.989551,0.006015418,0.0006617592,0.001694509,0.001882009,0.0001952582],"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.0007460304,0.000272073,0.001919887,0.0008536355,0.0002285904,0.0005401859,0.0005975958,0.1377411,0.03346524,0.6412057,0.007599991,0.1748299],"study_design_scores_gemma":[0.00007728975,0.00009095223,0.0002231191,0.0000666083,0.00009885499,0.0001226198,0.00004283352,0.4978215,0.03726759,0.4577479,0.006398358,0.00004239008],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003014368,0.00005239272,0.9947724,0.0001270253,0.00002618076,0.00004354168,0.00003583561,0.000792953,0.001135285],"genre_scores_gemma":[0.3282184,0.0002691952,0.6656869,0.0003057327,0.0001401953,0.0003591217,0.0004433108,0.000539738,0.004037375],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005957498,"threshold_uncertainty_score":0.02538753,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02875641902978425,"score_gpt":0.2969997054751896,"score_spread":0.2682432864454053,"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."}}