{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001468131,0.0002228163,0.0002841537,0.0005324797,0.00005399396,0.00006039617,0.0002018413,0.0003040051,0.0001048079],"category_scores_gemma":[0.00002463068,0.0002512894,0.0002306204,0.0003663243,0.00001953373,0.00003856262,0.00002221858,0.0003307013,0.00005361905],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002071426,"about_ca_system_score_gemma":0.00006316815,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001523345,"about_ca_topic_score_gemma":0.00002455375,"domain_scores_codex":[0.9989456,0.0000113352,0.0002825639,0.0003227515,0.00020736,0.0002303846],"domain_scores_gemma":[0.9991227,0.0001240251,0.00003677112,0.0005346103,0.0001082931,0.00007354631],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003885435,0.00001435372,0.00009238995,0.0002661491,0.0003913991,3.19689e-7,0.00002824656,0.9938143,0.001070812,0.0001745572,0.003810161,0.0003334599],"study_design_scores_gemma":[0.0001404477,0.000008653766,0.002961274,0.00001262768,0.00015292,2.433197e-7,0.000003903785,0.9826689,0.01126415,0.00008517964,0.0024422,0.0002594376],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.023726,0.00008218113,0.9648613,0.00005112548,0.0002351432,0.0008009591,0.0001693098,0.0009669302,0.009107107],"genre_scores_gemma":[0.9760811,0.00008832424,0.01801293,0.000008401107,0.0001573896,0.001408992,0.003601348,0.00006508572,0.0005763811],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9523551,"threshold_uncertainty_score":0.9999939,"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."}}