Verifying Probabilistic Programs in Rust
Recent work has developed many techniques for formally verifying probabilistic programs. However, existing verification frameworks for probabilistic programs are restricted to idealized languages designed for verification. As a result, they cannot be used to verify off-the-shelf probabilistic progra...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Articolo |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2607.12282 http://arxiv.org/abs/2607.12282 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|