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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artikel |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2607.12282 http://arxiv.org/abs/2607.12282 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|