Satisfaction-based Probabilistic Hoare Logic With While Loop: Weakest Precondition and Relative Completeness

SSRN Electronic Journal 2026 Preprint Open access

Read full text
Authors: Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui, Piotr Kulicki
DOI: 10.2139/ssrn.6546310
Cited by: 1
References: 20

Fields of Study & Subjects

Complexity and Algorithms in Graphs Logic Reasoning and Knowledge Formal Methods in Verification

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Document type
Preprint