Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Cui, Anran"'
Probabilistic Hoare logic (PHL) is an extension of Hoare logic and is specifically useful in verifying randomized programs. It allows researchers to formally reason about the behavior of programs with stochastic elements, ensuring the desired probabi
Externí odkaz:
http://arxiv.org/abs/2406.16054