Crux, a Precise Verifier for Rust and Other Languages

(arxiv.org)

3 points | by belter 2 days ago ago

No comments yet.