Search papers, labs, and topics across Lattice.
New York University
1
0
Alerus enables the formal verification of probabilistic Rust programs, bridging the gap between theoretical verification frameworks and practical programming languages.
