Crux, a Precise Verifier for Rust and Other Languages

Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins +6

We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cry…