vix.ing · top · new · best · stats · spec

1. On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
   2024/06/23 by Sun, Xin, Su, Xingchi, Bian, Xiaoning +1 · 1 citation
   #03B70 Logic in computer science #F.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Verification of the Incremental Merkle Tree Algorithm with Dafny
   2021/05/13 by Cassez, Franck · 1 citation
   #D.2.4 #F.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)