Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui
六月 2026
引用 DOI DOI
类型
会议文章
出版物
Lecture Notes in Computer Science
卞晓宁
卞晓宁
博士后研究员