rustproof (cargo): Compiler plugin to generate verification conditions from Rust code.
Keywords: satisfiability|plugin|smt|solver|verification