Formal Verification

Microsoft tests formal proofs for AI-written Rust code

PDD Kit checked the login logic in a Rust web store. Database queries, password hashing and token signing remained outside the proof.