{"id":"W2267900762","doi":"","title":"Weakest Precondition Calculus, Revisited using Why3","year":2012,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Precondition; Soundness; Predicate transformer semantics; Calculus (dental); Proof calculus; Structural proof theory; Computer science; Focus (optics); Natural deduction; Semantics (computer science); Mathematics; Programming language; Proof theory; Mathematical proof; Operational semantics","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.004276681,0.0004915257,0.0006043965,0.001039486,0.001102645,0.002833191,0.001152335,0.0007747426,0.004853356],"category_scores_gemma":[0.005224037,0.0005828298,0.00177834,0.0008058114,0.003630025,0.003087157,0.00276406,0.002538514,0.001300129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001406032,"about_ca_system_score_gemma":0.003556372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004515302,"about_ca_topic_score_gemma":0.003195981,"domain_scores_codex":[0.997143,0.000823447,0.00014988,0.0003610189,0.001127024,0.0003956581],"domain_scores_gemma":[0.9972269,0.00142094,0.0001697048,0.0005452267,0.0005537843,0.00008346201],"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.00005359602,0.00001182617,0.0002179056,0.0001628833,0.00002249737,0.0002214135,0.0004517503,0.003932636,0.00371751,0.9723293,0.001512437,0.01736625],"study_design_scores_gemma":[0.00007031807,0.00005425392,0.000273574,0.0001729023,0.00009842983,0.0003772219,0.0001505274,0.03567187,0.02170161,0.827231,0.1141433,0.00005495048],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00497482,0.0004497022,0.9781724,0.0006623807,0.0001726619,0.00008313484,0.0001893923,0.001468118,0.01382743],"genre_scores_gemma":[0.2610405,0.001306227,0.7236233,0.0008546249,0.0002709694,0.0003535769,0.0003917623,0.001029211,0.01112968],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004853356,"threshold_uncertainty_score":0.02261752,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02956474859481056,"score_gpt":0.2560062323516653,"score_spread":0.2264414837568547,"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."}}